A Comprehensive Survey of the Lean 4 Theorem Prover

by febin on 2/3/2025, 4:54:03 PM with 0 comments