Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs. - View it on GitHub