A collection of formalized statements of conjectures in Lean.
- formal-mathematics
- lean4
Repository Index
89,073 visible repositories in the index
1–1 of 1 · Most stars
89,073 visible repositories in the index
1–1 of 1 · Most stars
A collection of formalized statements of conjectures in Lean.