Mathematics in Lean

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

The user home repository for the Mathematics in Lean tutorial.

Tokens:145,572
Snippets:1,706
Trust Score:9.1
License:Apache-2.0
Update:4 days ago
Tokens:
Raw