2 uur 5 min.

#33 Z3 and Lean, the Spiritual Journey - Leo de Moura Type Theory Forall

    • Technologie

Leo de Moura

  • CC BY 4.0

Leo de Moura

2 uur 5 min.

  • CC BY 4.0

Top-podcasts in Technologie

de Groene Nerds
de Groene Nerds
Aljo Hartgers & Danny Oosterveer // De Podcasters
✨Poki - Podcast over Kunstmatige Intelligentie AI
✨Poki - Podcast over Kunstmatige Intelligentie AI
Alexander Klöpping & Wietse Hage
Acquired
Acquired
Ben Gilbert and David Rosenthal
Lex Fridman Podcast
Lex Fridman Podcast
Lex Fridman
De Technoloog | BNR
De Technoloog | BNR
BNR Nieuwsradio
Tweakers Podcast
Tweakers Podcast
Tweakers