Mathlib4

https://github.com/leanprover-community/mathlib4

The math library of Lean 4

Tokens:28,192
Snippets:426
Trust Score:9.1
License:Apache-2.0
Update:3 weeks ago
Tokens:
Raw