Topik · cartesian
cartesian
Repositori open source terpantau bertanda cartesian, diurutkan berdasarkan bintang.
Repositori
1
Total bintang
806
Rata-rata bintang
806
Porsi
0,00%
Topik terkait
Topik yang sering muncul berdampingan dengan cartesian di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda cartesian.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
Formalisasi teori kategori bebas aksioma di Coq untuk studi pribadi dan pekerjaan praktis
★ 806+1Perubahan bintang dalam 7 hari terakhir
