AU-COBRA/ConCert

Công dụng

AU-COBRA/ConCert là kho mã GitHub công khai, chủ yếu viết bằng Rocq Prover. Bản ghi gần nhất được lưu cho biết có 129 sao và 22 bản fork. Chủ đề: blockchain, coq, Hợp đồng thông minh, verification. Đọc tài liệu, giấy phép và các issue hiện tại trước khi dùng phần mềm.

A framework for smart contract verification in Coq

Kho GitHub

Sao

129

Sao tăng · 7 ngày

+0

Bản fork

22

Ngôn ngữ chính

Rocq Prover

Giấy phép kho

MIT

Lần đẩy mã cuối

25 thg 8, 2026

Độ phổ biến theo sao GitHub. Tăng trưởng 7 ngày cần đủ một tuần ghi nhận. Đây không phải bảng xu hướng chính thức GitHub.

Nguồn & độ mới

Mục nhập dẫn nguồn. Có tên trong danh bạ không phải sự bảo chứng.