Iowa Type Theory Commute
Aaron Stump
Add to My Podcasts
Episodes
About
Reviews
Promote
More on Agda
13 minutes
Posted Jan 13, 2022 at 1:00 am.
0:00
13:03
Add to My Queue
Download
MP3
Share
episode
Share at current time
Show notes
I talk a bit more about the Agda proof assistant.
Previous
A look at Agda
Next
Isabelle/HOL
← See all 160 episodes of Iowa Type Theory Commute
