Repository containing mechanically formalized Lean proofs and natural language math proofs for the...

Tokens:485
Snippets:9
Trust Score:9.4
License:Apache-2.0
Update:1 month ago
Tokens:
Raw