A Comprehensive Survey of the Lean 4 Theorem Prover #1 Post by febin » Mon, Feb 03, 2025, 4:54 PM UTC A Comprehensive Survey of the Lean 4 Theorem Proverarxiv.org