Programming Language and Theorem Prover — Lean https://lean-lang.org/ February 11, 2024 Via https://mattstuchlik.com/2024/02/10/TIL-terrence-tao-machine-assisted-proofs.html