New best story on Hacker News: Formalizing Fermat's Last Theorem
Formalizing Fermat's Last Theorem
426 by jlebar | 275 comments on Hacker News.
https://ift.tt/yPbdADV...
426 by jlebar | 275 comments on Hacker News.
https://ift.tt/yPbdADV...
New best story on Hacker News: Canon sued for disabling scanner when printers run out of ink
Canon sued for disabling scanner when printers run out of ink 564 by LordAtlas | 250 comments on Hacker News.
Comments
Post a Comment