Eigentümer · teorth

teorth

Erfasste Open-Source-Repos von teorth, sortiert nach Sternen.

3 Repos

#1
analysis ↗@teorthLean
Ein Lean-Begleiter für Analysis I
★ 1.881+3Sterne-Änderung der letzten 7 Tage
#2
erdosproblems ↗@teorthPython
Eine Community-Datenbank für die Probleme auf der Website erdosproblems.com
★ 846+2Sterne-Änderung der letzten 7 Tage
#3
equational_theories ↗@teorthLean
Ein Projekt zur Kartierung der Beziehungen zwischen verschiedenen Gleichungstheorien von Magmen.
★ 554+2Sterne-Änderung der letzten 7 Tage