Submissions from math.inc

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