/MicSE-Public

A Tool for Verifying and Refuting Smart Contract of Tezos

Primary LanguageOCamlMIT LicenseMIT

Watchers