Mathlib4

https://github.com/believein5/mathlib4

Mathlib4 is a user-maintained library for the Lean theorem prover containing programming...

Tokens:7,051
Snippets:52
Trust Score:5.5
License:Apache-2.0
Update:5 months ago
Tokens:
Raw