alphaproof-nexus-results
Lean
★ 242
updated 15d ago
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
No plain-English explanation yet — one is being written right now. Check back in a minute.