Submissions from math.inc

		Completing the formal proof of higher-dimensional sphere packing (math.inc)
		1 point by carnevalem 7 days ago \| past \| discuss
		Completing the formal proof of higher-dimensional sphere packing (math.inc)
		19 points by salkahfi 8 days ago \| past \| 6 comments
		Math, Inc (math.inc)
		1 point by pfdietz 28 days ago \| past
		Gauss, an Agent for Autoformalization (math.inc)
		1 point by Gedxx 5 months ago \| past
		Gauss, an Agent for Autoformalization (math.inc)
		11 points by auggierose 5 months ago \| past \| 1 comment
		Gauss, an Agent for Autoformalization (math.inc)
		6 points by andy12_ 5 months ago \| past
		Gauss, an Agent for Autoformalization (math.inc)
		8 points by frozenseven 6 months ago \| past