Lean: OSS Theorem Prover
oz
, 2016-08-22
https://leanprover.github.io/about/
