Formal Methods with Philipp Kant and Jared Corduan - Episode 25

Hi everyone,

Here is our latest episode of The Cardano Effect podcast. We had Philipp Kant and Jared Corduan on the show. We talked about formal methods, fake stake attacks and everything in between. Great informative episode if you want to learn more about what formal methods is and how it contributes to the structure of Cardano.

Philippe

5 Likes

Awsome thank you!

2 Likes