New top story on Hacker News: Lean – Theorem Prover

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


Comments

Popular posts from this blog

New top story on Hacker News: Show HN: Sourcebot – Self-hosted Perplexity for your codebase