Lean
https://leanprover.github.io/about/
#プログラミング言語