Topik · foundations

foundations

Repositori open source terpantau bertanda foundations, diurutkan berdasarkan bintang.

Repositori

1

Total bintang

1.019

Rata-rata bintang

1.019

Porsi

0,00%

Topik yang sering muncul berdampingan dengan foundations di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda foundations.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
UniMath ↗@UniMathRocq Prover
Pustaka rocq ini bertujuan untuk memformalkan sebagian besar matematika menggunakan sudut pandang univalen.
★ 1.019+2Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik