Gauss, an Agent for Autoformalization

math.inc

10 points by auggierose 11 hours ago


bmitc - 6 hours ago

It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.