Great news here Congratulations to IOHK!
Here is an article on the importance of code written with formal methods that Charles posted:
https://www.wired.com/2016/09/computer-scientists-close-perfect-hack-proof-code/
2 Likes