Skip to content
Open-Source Registry

cargo / blvm-spec-lock

blvm-spec-lock

BLVM Spec Lock: Purpose-built formal verification tool for Bitcoin Commons

bitbison: no public build
no release has built yet

0.1.41 did not build; the badge stands for .

3,645 downloads · source · home page · cargo

Releases1FindingsBuild timeBuilt
0.1.41not built35m ago