Lean
2022年では
Lean 4
#定理証明支援系
メモ
ページ内リンクとしては
Lean Theorem Prover
のほうがいいかもしれない