@tef i learned coq because of this tweet and then i tried and failed to prove the pigeonhole principle over the course of something like six weeks totalhttps://twitter.com/tef_ebooks/status/1005865442899124224 …
-
-
Seems like it goes back and forth. Proving Langland's would be a big deal, as was proving the Reimann hypothesis.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.