Danh mục
rocq-prover/rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
RR
rocq-prover/rocq
OCaml · danh tính provisional_slug_only
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
proof-assistantcoqtheorem-provingdependent-types
Sao5.6klịch sử sao
Hạng#10728snapshot toàn cục
Fork772bản ghi nguồn
Số ngày trending0lịch sử xu hướng
Snapshot chỉ có lịch sử sao đầy đủ của star-history/star-history. Lịch sử thiếu thì không vẽ.
Không có README
Mở repository trên GitHub để đọc.
GitHub ↗