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

Post a Comment

Popular posts from this blog

Ask HN: Do I have to know in advance on how to make money from a side project?

Ask HN: Do I have to know in advance on how to make money from a side project? 3 by loboda_ro | 1 comments on Hacker News. Many YC videos and Paul Graham's essays emphasize the value of discovering startup ideas organically, often through building side projects that you are interested in. But does it have to be something I am interested to build AND I know someone who would pay money for this? Or I can just start building staff to solve my problems.
Read more