This category is meant for discussion of formal specification and verification of Simplicity and SimplicityHL and their implementations, as well as the use of tools to verify individual smart contracts.
This category is meant for discussion of formal specification and verification of Simplicity and SimplicityHL and their implementations, as well as the use of tools to verify individual smart contracts.