Mathematics in Lean

https://leanprover-community.github.io/mathematics_in_lean/

Mathematics in Lean is a comprehensive resource that teaches how to formalize various mathematical...

Tokens:138,090
Snippets:1,507
Trust Score:8.3
Update:1 month ago
Tokens:
Raw