Mathlib is Lean's Math Library. The library is hosted on the GitHub leanprover-community account. Do not use this tag for Lean the software. Do not use this tag for other math libraries of other proof assistants.
References:
|
created |
2 years, 5 months ago |
|
viewed |
10 times |
|
active |
2 years, 5 months ago |
|
editors |
1 |
