Topik · unimath

unimath

Repositori open source terpantau bertanda unimath, diurutkan berdasarkan bintang.

Repositori

1

Total bintang

1.019

Rata-rata bintang

1.019

Porsi

0,00%

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

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda unimath.

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