HBO and The Ringer's Bill Simmons hosts the most downloaded sports podcast of all time, with a rotating crew of celebrities, athletes, and media staples, as well as mainstays like Cousin Sal, Joe House, and a slew of other friends and family members who always happen to be suspiciously available.
…
continue reading
MP3•Episode home
Manage episode 508398062 series 3662840
Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
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
Links
12 episodes