Topik · rocq

rocq

Repositori open source terpantau bertanda rocq, diurutkan berdasarkan bintang.

Repositori

4

Total bintang

3.426

Rata-rata bintang

857

Porsi

0,00%

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

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda rocq.

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

#1
rocq-of-rust ↗@formal-landRocq Prover
Alat verifikasi formal untuk Rust: periksa 100% kasus eksekusi program Anda untuk membuat aplikasi yang lebih aman.
★ 1.161+0Perubahan bintang dalam 7 hari terakhir
#2
UniMath ↗@UniMathRocq Prover
Pustaka rocq ini bertujuan untuk memformalkan sebagian besar matematika menggunakan sudut pandang univalen.
★ 1.019+2Perubahan bintang dalam 7 hari terakhir
#3
math-comp ↗@math-compRocq Prover
Komponen Matematika
★ 696+1Perubahan bintang dalam 7 hari terakhir
#4
metarocq ↗@MetaRocqRocq Prover
Metapemrograman, meta-teori terverifikasi, dan implementasi Rocq di Rocq
★ 550+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik