French Podcast #4 with Matthias Güdemann IOHK (Formal method explained)

2 Likes