Lean
定理証明支援系の比較的新しい処理系
https://lean-lang.org/
プログラミング言語