AlphaProof Nexus Results

https://github.com/google-deepmind/alphaproof-nexus-results

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