A Comprehensive Survey of the Lean 4 Theorem Prover

1 points| febin | 1 year ago |arxiv.org