Sleeping Agents Aristotle_Theorem_Prover 🚀 Generate Lean4 proofs from plain English math statements
Sleeping Agents Aristotle_Theorem_Prover 🚀 Generate Lean4 proofs from plain English math statements