Lean Community

https://leanprover-community.github.io

Lean Community is a comprehensive documentation hub for Lean, a powerful theorem prover, and...

Tokens:52,050,090
Snippets:412,847
Trust Score:9.7
Update:1 week ago
Tokens:
Raw