Pemilik · teorth

teorth

Repositori open source terpantau milik teorth, diurutkan berdasarkan bintang.

3 repositori

#1
analysis ↗@teorthLean
Pendamping Lean untuk Analysis I
★ 1.881+3Perubahan bintang dalam 7 hari terakhir
#2
erdosproblems ↗@teorthPython
Basis data komunitas untuk masalah di situs erdosproblems.com
★ 843+2Perubahan bintang dalam 7 hari terakhir
#3
equational_theories ↗@teorthLean
Sebuah proyek untuk memetakan hubungan antara berbagai teori persamaan Magma.
★ 554+2Perubahan bintang dalam 7 hari terakhir