Owner · teorth

teorth

teorth's tracked open-source repos, sorted by stars.

3 repos

#1
analysis ↗@teorthLean
A Lean companion to Analysis I
★ 1,881+3Star change over the last 7 days
#2
erdosproblems ↗@teorthPython
A community database for the problems on the erdosproblems.com site
★ 843+2Star change over the last 7 days
#3
equational_theories ↗@teorthLean
A project to map out the relations between different equational theories of Magmas.
★ 554+2Star change over the last 7 days