Topik · coq-library

coq-library

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

Repositori

3

Total bintang

2.152

Rata-rata bintang

717

Porsi

0,00%

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

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda coq-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
verdi ↗@uwplseRocq Prover
Kerangka kerja untuk memverifikasi secara formal implementasi sistem terdistribusi di Coq
★ 625+0Perubahan bintang dalam 7 hari terakhir
#3
VST ↗@PrincetonUniversityRocq Prover
Rantai Alat Perangkat Lunak Terverifikasi (Verified Software Toolchain)
★ 508+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik