Lean
リーン
#証明支援系
https://leanprover.github.io