Topik · theorem-proving

theorem-proving

Repositori open source terpantau bertanda theorem-proving, diurutkan berdasarkan bintang.

Repositori

Total bintang

13.478

Rata-rata bintang

1.925

Porsi

0,00%

Topik yang sering muncul berdampingan dengan theorem-proving di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda theorem-proving.

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
LeanCopilot ↗@lean-dojoC++
LLM sebagai Copilot untuk Pembuktian Teorema di Lean
★ 1.318+1Perubahan bintang dalam 7 hari terakhir
#4
cakeml ↗@CakeMLStandard ML
CakeML: Implementasi ML yang Terverifikasi
★ 1.190+2Perubahan bintang dalam 7 hari terakhir
#5
LeanDojo ↗@lean-dojoPython
Alat untuk ekstraksi data dan berinteraksi dengan Lean secara terprogram.
★ 832+1Perubahan bintang dalam 7 hari terakhir
#6
HOL ↗@HOL-Theorem-ProverStandard ML
Sumber kanonis untuk sistem pembuktian teorema HOL4. Cabang develop adalah tempat terjadinya "pengembangan utama"; ketika develop lolos pengujian regresi, master digabungkan ke depan untuk menyusul.
★ 757+2Perubahan bintang dalam 7 hari terakhir
#7
physlib ↗@leanprover-communityLean
Proyek untuk mendigitalisasi hasil dari fisika ke dalam Lean.
★ 721+4Perubahan bintang dalam 7 hari terakhir