Lean – Theorem Prover

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


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


Points: 6


# Comments: 1






from Hacker News: Front Page https://ift.tt/c0Wvp3S

via IFTTT

Comments

Popular posts from this blog

Intentional dark pattern by Coinbase or just terrible UI?