Submissions from github.com/teorth

		AI Contributions to Erdős Problems (github.com/teorth)
		3 points by tzury 2 days ago \| past \| discuss
		Terence Tao: AI contributions to Erdős problems (github.com/teorth)
		4 points by frozenseven 2 days ago \| past \| discuss
		A mathematical proof assistant (v2) (github.com/teorth)
		4 points by ptrj_ 7 months ago \| past
		Project to map out the relation between different equational theories of Magmas (github.com/teorth)
		2 points by looofooo0 on Oct 15, 2024 \| past
		Equational Theories Project (github.com/teorth)
		3 points by nabla9 on Oct 14, 2024 \| past