podcastdetails.com

Share

Iowa Type Theory Commute

A look at Agda

Listen

Description

In this episode I talk a bit about the Agda proof assistant.

Print Share

Want to check another podcast?

Enter the RSS feed of a podcast, and see all of their public statistics.

Made by Alex Barredo. Send your feedback to alex@barredo.es.