coq
Repositori open source terpantau bertanda coq, diurutkan berdasarkan bintang.
Topik terkait
Topik yang sering muncul berdampingan dengan coq di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda coq.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
Rocq Prover adalah pembuktian teorema interaktif atau asisten pembuktian. Ini menyediakan bahasa formal untuk menulis definisi matematika, algoritma yang dapat dieksekusi, dan teorema bersama dengan lingkungan untuk pengembangan pembuktian yang diperiksa mesin secara semi-interaktif.
★ 5.562+4Perubahan bintang dalam 7 hari terakhir - #2★ 2.220+1Perubahan bintang dalam 7 hari terakhir
- #3
Pustaka rocq ini bertujuan untuk memformalkan sebagian besar matematika menggunakan sudut pandang univalen.
★ 1.019+2Perubahan bintang dalam 7 hari terakhir - #4★ 974+0Perubahan bintang dalam 7 hari terakhir
- #5★ 948+17Perubahan bintang dalam 7 hari terakhir
- #6
Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.
★ 835+0Perubahan bintang dalam 7 hari terakhir - #7
Formalisasi teori kategori bebas aksioma di Coq untuk studi pribadi dan pekerjaan praktis
★ 808+1Perubahan bintang dalam 7 hari terakhir - #8★ 696+1Perubahan bintang dalam 7 hari terakhir
- #9★ 686+0Perubahan bintang dalam 7 hari terakhir
- #10
Kerangka kerja untuk memverifikasi secara formal implementasi sistem terdistribusi di Coq
★ 625+0Perubahan bintang dalam 7 hari terakhir - #11
Daftar perusahaan yang menggunakan metode formal verifikasi di industri
★ 610+1Perubahan bintang dalam 7 hari terakhir - #12★ 558+2Perubahan bintang dalam 7 hari terakhir
- #13
Berbagai trik berguna yang tidak disebutkan dalam manual Coq [maintainer=@tchajed]
★ 552+0Perubahan bintang dalam 7 hari terakhir - #14★ 550+1Perubahan bintang dalam 7 hari terakhir
- #15★ 547+0Perubahan bintang dalam 7 hari terakhir
- #16★ 508+1Perubahan bintang dalam 7 hari terakhir
