Leanstral 1.5: Proof abundance for all
This article was originally posted on Hacker News by programLyrique (Score: 339 points).
This article was originally posted on Hacker News by programLyrique (Score: 339 points).
This article was originally posted on Hacker News by latchkey (Score: 335 points).
This article was originally posted on Hacker News by adamraudonis (Score: 21 points).
This article was originally posted on Hacker News by gslin (Score: 701 points).
This article was originally posted on Hacker News by Breadmaker (Score: 94 points).
This article was originally posted on Hacker News by tobr (Score: 25 points).
This article was originally posted on Hacker News by yyyk (Score: 65 points).
This article was originally posted on Hacker News by andrenotgiant (Score: 143 points).
This article was originally posted on Hacker News by petethomas (Score: 58 points).
This article was originally posted on Hacker News by rtolkachev (Score: 35 points).