Topik · rocq-library

rocq-library

Repositori open source terpantau bertanda rocq-library, diurutkan berdasarkan bintang.

Repositori

2

Total bintang

1.715

Rata-rata bintang

858

Porsi

0,00%

Topik yang sering muncul berdampingan dengan rocq-library di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda rocq-library.

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
#2
math-comp ↗@math-compRocq Prover
Komponen Matematika
★ 696+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik