Hacker News new | ask | show | jobs
A Comprehensive Survey of the Lean 4 Theorem Prover (arxiv.org)
1 points by febin 500 days ago