kckennylau / mathlib4

Unofficial repository for the experimental porting of mathlib into lean4
10Updated 3 years ago

Related projects

Alternatives and complementary repositories for mathlib4