Introducing the Pact property checker

18 July, 2018

Together with Kadena , Monic has open-sourced a language-integrated static analysis tool for the Pact smart contract language that we…