VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.
-
Updated
Jan 3, 2023 - TypeScript
VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.
Shutter-Shack-Photo-Album-Gallery-App
Smart contracts of the Tezos Payments service
Add a description, image, and links to the michelson topic page so that developers can more easily learn about it.
To associate your repository with the michelson topic, visit your repo's landing page and select "manage topics."