Philipp Kant tells us how to fuse flexibility with formality in his talk at Lambda Days, he begins by outlining the formal methods at IOHK, he explains cryptocurrencies, explains how to build the blockchain system and the process from spec to code.
This talk was given by Phillip Kant at Lambda Days.