verse-lab/toychain

Công dụng

verse-lab/toychain là kho mã GitHub công khai, chủ yếu viết bằng Coq. Bản ghi gần nhất được lưu cho biết có 113 sao và 12 bản fork. Chủ đề: blockchain, consensus, coq, distributed systems. Đọ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 minimalistic blockchain consensus implemented and verified in Coq

Kho GitHub

Sao

113

Sao tăng · 7 ngày

+0

Bản fork

12

Ngôn ngữ chính

Coq

Giấy phép kho

BSD-2-Clause

Lần đẩy mã cuối

13 thg 4, 2020

Độ 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.