Propietario · teorth

teorth

Repositorios de código abierto monitorizados de teorth, ordenados por estrellas.

3 repositorios

#1
analysis ↗@teorthLean
Un compañero Lean para Análisis I.
★ 1881+8Variación de estrellas de los últimos 7 días
#2
erdosproblems ↗@teorthPython
Una base de datos comunitaria para los problemas del sitio erdosproblems.com.
★ 843+7Variación de estrellas de los últimos 7 días
#3
equational_theories ↗@teorthLean
Un proyecto para mapear las relaciones entre diferentes teorías ecuacionales de Magmas.
★ 554+3Variación de estrellas de los últimos 7 días