nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/lean-modules/mathlib
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