ProofOfKeagsbtc-verified0.1.0

Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Displaying 1-1 of 1 versions of btc-verified
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    12 days ago
    Released on July 8, 2026 at 4:37:49PM
    Commit 251ae35 builds on its old leanprover/lean4:v4.30.0-rc2
    v4.30.0-rc2
    3.1 MB Build archive size: 3143782 bytes.