#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