New top story on Hacker News: Lean – Theorem Prover

Lean – Theorem Prover
15 by thunderbong | 1 comments on Hacker News.


15

Comments