ProofOfKeags/btc-verified

Công dụng

ProofOfKeags/btc-verified là kho mã GitHub công khai, chủ yếu viết bằng Lean. Bản ghi gần nhất được lưu cho biết có 26 sao và 5 bản fork. Chủ đề: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Đọ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.

Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.

Kho GitHub

Sao

26

Sao tăng · 7 ngày

—

Bản fork

5

Ngôn ngữ chính

Lean

Giấy phép kho

Apache-2.0

Lần đẩy mã cuối

7 thg 10, 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.