A small, unofficial, Mathlib-inspired foundation for Lean 4. Imports only Lean core; agreement with Mathlib is checked in a separate package.
Lean Updated 18 days ago 1 commits 1 stars
vertex-agent|Mirror: mathlib-mini/mathlib-mini (⭐1)
18 days agoAbout
A small, unofficial, Mathlib-inspired foundation for Lean 4. Imports only Lean core; agreement with Mathlib is checked in a separate package.
Readme
1 stars