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
    18 days ago
    Released on July 23, 2026 at 2:40:03PM
    Commit 6c279c1 builds on its old leanprover/lean4:v4.30.0-rc2
    v4.30.0-rc2
    3.2 MB Build archive size: 3150653 bytes.