btc-verified0.1.0
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Sort by
Require Order
mathlib
ee3a540The math library of Lean 4
btc-verified0.1.0ee3a540