Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#27 Formalizing an OS: The seL4 - Gerwin Klein | Type Theory Forall | Podwise

Podcast Cover

04 Feb 2023

1h 58m

#27 Formalizing an OS: The seL4 - Gerwin Klein

Type Theory Forall

Type Theory Forall - #27 Formalizing an OS: The seL4 - Gerwin Klein

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval