3 ms·

and similar projects for cs and math papers http://thatsmathematics.com/mathgen/ http://thatsmathematics.com/mathgen/ https://pdos.csail.mit.edu/archive/scige

by qntty 10y ago

and similar projects for cs and math papers http://thatsmathematics.com/mathgen/ http://thatsmathematics.com/mathgen/ https://pdos.csail.mit.edu/archive/scigen/ https://pdos.csail.mit.edu/archive/scigen/

eli_gottlieb 10y ago
And of course http://www.theproofistrivial.com/ http://www.theproofistrivial.com/