GitHub repository: kaibr/bitcoin-s-verification
Primary language: Scala
Created: 2019-06-19T12:55:59Z
Description: Using the Stainless Verifier on Bitcoin-S