gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,042,370 Commits 9 Branches 0 Tags
current
Commit Graph

1 Commits

Author SHA1 Message Date
Nadja Yang ce563acb77 doc: add Lean 4 section to languages-frameworks manual 2026-04-01 11:13:44 -04:00