gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
current
nixpkgs/pkgs/development/lean-modules/mathlib
T
History
Nadja Yang d63d353258 leanPackages.mathlib: add comment for leangz-raw 
Co-authored-by: Mauricio Collares <mauricio@collares.org>
2026-06-04 17:13:18 -04:00
..
default.nix
leanPackages.mathlib: add comment for leangz-raw
2026-06-04 17:13:18 -04:00