Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#19 Experience Report: Learning Coq - Patrick and Supun | Type Theory Forall | Podwise

Podcast Cover

04 Jun 2022

1h 51m

#19 Experience Report: Learning Coq - Patrick and Supun

Type Theory Forall

Type Theory Forall - #19 Experience Report: Learning Coq - Patrick and Supun

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval