btc-verified0.1.0
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
1-1 of 1 versions of btc-verified
Sort by
Date
- 0.1
0.1.0v4.30.0-rc25.0 MB
btc-verified0.1.00.1.0