The third and final part of the Pact Core Concept Series by Thomas Honeyman has been released! Now that you’ve learned all about blockchain development and writing Pact in 20 minutes, learn how you can secure your smart contracts today! Like, share, and retweet: https://twitter.com/kadena_io/status/1654131407449456641 Read more: https://medium.com/@kadena_io/part-iii-of-the-pact-core-concepts-testing-and-formal-verification-in-the-pact-repl-4e99dac2d00d