Submissions from github.com/teorth

		A mathematical proof assistant (v2) (github.com/teorth)
		4 points by ptrj_ 62 days ago \| past
		Project to map out the relation between different equational theories of Magmas (github.com/teorth)
		2 points by looofooo0 8 months ago \| past
		Equational Theories Project (github.com/teorth)
		3 points by nabla9 9 months ago \| past