Lean – Theorem Prover

Article URL: https://leanprover.github.io/

Comments URL: https://news.ycombinator.com/item?id=34456573

Points: 15

# Comments: 1

from Hacker News: Front Page https://ift.tt/Qgkl9bW
via