Repository: manman4/alphaproof-nexus-results
Description: Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
Language: Lean
License: Apache License 2.0
Stars: 3.0 | Forks: 1.0 | Open issues: 0.0
Created: 2026-05-26 02:46:51
Owner: manman4 (Japan)