Submissions from math.inc

		Completing the formal proof of higher-dimensional sphere packing (math.inc)
		1 point by carnevalem 9 days ago \| past \| discuss
		Completing the formal proof of higher-dimensional sphere packing (math.inc)
		19 points by salkahfi 10 days ago \| past \| 6 comments
		Math, Inc (math.inc)
		1 point by pfdietz 30 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 6 months ago \| past \| 1 comment
		Gauss, an Agent for Autoformalization (math.inc)
		6 points by andy12_ 6 months ago \| past
		Gauss, an Agent for Autoformalization (math.inc)
		8 points by frozenseven 6 months ago \| past