- Website: https://malv.in/
- Pronouns: he/him
m4lvin / mathlib-tools Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
License: Apache License 2.0