That just shows the first post for most people. Here is all of it: https://xcanc...

		mkl 54 days ago \| parent \| context \| favorite \| on: Automatic Textbook Formalization That just shows the first post for most people. Here is all of it: https://xcancel.com/FabianGloeckle/status/204008278585190440...