1 hr 17 min

#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric Type Theory Forall

    • Technology

Nitin and Eric

Nitin and Eric

1 hr 17 min

Top Podcasts In Technology

Lex Fridman Podcast
Lex Fridman
All-In with Chamath, Jason, Sacks & Friedberg
All-In Podcast, LLC
No Priors: Artificial Intelligence | Machine Learning | Technology | Startups
Conviction | Pod People
BG2Pod with Brad Gerstner and Bill Gurley
BG2Pod
Acquired
Ben Gilbert and David Rosenthal
Hard Fork
The New York Times