Topik · proof-assistant

proof-assistant

Repositori open source terpantau bertanda proof-assistant, diurutkan berdasarkan bintang.

Repositori

Total bintang

17.520

Rata-rata bintang

2.190

Porsi

0,00%

Topik yang sering muncul berdampingan dengan proof-assistant di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda proof-assistant.

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

#1
rocq ↗@rocq-proverOCaml
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
FStar ↗@FStarLangF*
Bahasa pemrograman yang berorientasi pada pembuktian
★ 3.103+4Perubahan bintang dalam 7 hari terakhir
#3
agda ↗@agdaHaskell
Agda adalah bahasa pemrograman dengan pengetikan dependen / pembuktian teorema interaktif.
★ 2.922+3Perubahan bintang dalam 7 hari terakhir
#4
YC-Killer ↗@sahibzada-allahyarTypeScript
Pustaka agen AI tingkat perusahaan yang dirancang untuk mendemokratisasikan kecerdasan buatan dan menyediakan alternatif sumber terbuka gratis untuk startup Y Combinator yang dinilai terlalu tinggi.
★ 2.806+7Perubahan bintang dalam 7 hari terakhir
#5
plfa.github.io ↗@plfaAgda
Pengantar teori bahasa pemrograman di Agda
★ 1.514+0Perubahan bintang dalam 7 hari terakhir
#6
PG ↗@ProofGeneralEmacs Lisp
Repositori ini adalah rumah baru bagi Proof General
★ 558+2Perubahan bintang dalam 7 hari terakhir
#7
jscoq ↗@jscoqTypeScript
Porting Coq ke Javascript -- Jalankan Coq di peramban Anda
★ 547+0Perubahan bintang dalam 7 hari terakhir
#8
VST ↗@PrincetonUniversityRocq Prover
Rantai Alat Perangkat Lunak Terverifikasi (Verified Software Toolchain)
★ 508+1Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik

Topik terkait

Yang sedang naik