nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
staging
nixpkgs/pkgs/development/lean-modules
History
Anthony Wang c676d821db lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
..
aesop
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
batteries
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
Cli
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
importGraph
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
lean4
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
LeanSearchClient
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
mathlib
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
plausible
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
proofwidgets
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
Qq
lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00
update.sh
leanPackages.mathlib: lgz preprocessing
2026-06-04 16:48:52 -04:00