Perpustakaan yang ditulis dalam Coq
stalin-sort
Tambahkan algoritme pengurutan stalin dalam bahasa apa pun yang Anda suka ❣️ jika Anda suka beri kami ⭐️.
- 1.2k
- MIT
UniMath
Perpustakaan coq ini bertujuan untuk memformalkan tubuh substansial matematika menggunakan sudut pandang univalen..
- 853
- GNU General Public License v3.0
magmide
Bahasa bukti yang diketik secara dependen yang dimaksudkan untuk membuat kode logam kosong yang terbukti benar menjadi mungkin bagi para insinyur perangkat lunak yang bekerja..
- 771
CoqGym
Lingkungan Belajar untuk Pembuktian Teorema dengan asisten pembuktian Coq.
- 332
- GNU Lesser General Public License v3.0 only
proofs
Repositori pribadi saya untuk matematika yang diverifikasi secara formal..
- 259
- GNU General Public License v3.0
verdi-raft
Implementasi protokol konsensus terdistribusi Raft, diverifikasi di Coq menggunakan kerangka kerja Verdi.
- 168
- BSD 2-clause "Simplified"
analysis
Pustaka Analisis yang Sesuai dengan Komponen Matematika (oleh matematika-comp).
- 158
- GNU General Public License v3.0
fiat
Kebanyakan Sintesis Otomatis dari Program Koreksi-oleh-Konstruksi.
- 140
- GNU General Public License v3.0
kami
Platform untuk Spesifikasi Perangkat Keras Parametrik Tingkat Tinggi dan Verifikasi Modularnya (oleh mit-plv).
- 126
- MIT
toychain
Konsensus blockchain minimalis diterapkan dan diverifikasi di Coq.
- 106
- BSD 2-clause "Simplified"
koika
Bahasa inti untuk desain perangkat keras berbasis aturan 🦑.
- 104
- GNU General Public License v3.0 only
silveroak
Spesifikasi formal dan verifikasi perangkat keras, terutama untuk keamanan dan privasi..
- 97
- Apache License 2.0
coq-library-undecidability
Perpustakaan bukti ketidakpastian mekanis di asisten bukti Coq..
- 96
- GNU General Public License v3.0
vericert
Alat sintesis tingkat tinggi yang diverifikasi secara formal berdasarkan CompCert dan ditulis dalam Coq..
- 71
- GNU General Public License v3.0 only
scala-escape
Plug-in kompiler untuk mengontrol masa pakai objek di Scala (oleh TiarkRompf).
- 62
- BSD 3-clause "New" or "Revised"