Iowa Type Theory Commute
Aaron Stump
Add to My Podcasts
Episodes
About
Reviews
Promote
A look at Agda
15 minutes
Posted Jan 10, 2022 at 5:00 am.
0:00
15:24
Add to My Queue
Download
MP3
Share
episode
Share at current time
Show notes
In this episode I talk a bit about the Agda proof assistant.
Previous
More reflections on Coq
Next
More on Agda
← See all 160 episodes of Iowa Type Theory Commute
