Submissions from math.inc

		OpenGauss: An open source, state of the art autoformalization harness for Lean (math.inc)
		2 points by mindcrime 46 days ago \| past
		Completing the formal proof of higher-dimensional sphere packing (math.inc)
		1 point by carnevalem 62 days ago \| past
		Completing the formal proof of higher-dimensional sphere packing (math.inc)
		19 points by salkahfi 63 days ago \| past \| 6 comments
		Math, Inc (math.inc)
		1 point by pfdietz 83 days ago \| past
		Gauss, an Agent for Autoformalization (math.inc)
		1 point by Gedxx 7 months ago \| past
		Gauss, an Agent for Autoformalization (math.inc)
		11 points by auggierose 7 months ago \| past \| 1 comment
		Gauss, an Agent for Autoformalization (math.inc)
		6 points by andy12_ 7 months ago \| past
		Gauss, an Agent for Autoformalization (math.inc)
		8 points by frozenseven 7 months ago \| past