leanprover/lean4
Lean 4 programming language and theorem prover
leanlean4
First Claude commit: Mar 16, 2026Last Claude commit: 4mo agoDiscovered: Mar 16, 2026
Recent Claude Commits
feat: add simp lemmas for kernel-friendly functions (#12950)
09172604mo agoco_authored_byfix: rename `Int.sq_nonnneg` to `Int.sq_nonneg` (#12909)
76e593a4mo agoco_authored_by