Lean theorem prover
https://leanprover.github.io/
MicroSoft製
/sno2wman/LEAN
#定理証明系言語