Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#5 The History of Coq'Art - Yves Bertot | Type Theory Forall | Podwise

Podcast Cover

27 Feb 2021

1h 11m

#5 The History of Coq'Art - Yves Bertot

Type Theory Forall

Type Theory Forall - #5 The History of Coq'Art - Yves Bertot

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval