google-deepmind/alphaproof-nexus-results

Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

GitHub repository with 239 stars and 19 forks.

Language: Lean

Open provider repository