Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#7 Hacking Isabelle's Internals - Dan Matichuk | Type Theory Forall | Podwise

Podcast Cover

16 Apr 2021

1h 20m

#7 Hacking Isabelle's Internals - Dan Matichuk

Type Theory Forall

Type Theory Forall - #7 Hacking Isabelle's Internals - Dan Matichuk

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval