In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for you!
We cover topics like:
Homotopy type theory
Proof assistants
Languages Rocq, Lean4, Agda, Idris
Proving theorems in Lean4
How to get started with dependent types and proof assistants
Podden och tillhörande omslagsbild på den här sidan tillhör
Christoffer Ekeroth. Innehållet i podden är skapat av Christoffer Ekeroth och inte av,
eller tillsammans med, Poddtoppen.
