3 ms·
Is this what you're looking for? https://github.com/leanprover-community/mathlib https://github.com/leanprover-community/mathlib
by arlort 3y ago
Is this what you're looking for?
https://github.com/leanprover-community/mathlib https://github.com/leanprover-community/mathlib