LanguaTalk

Want to create an interactive transcript for this episode?

View more episodes

Podcast: Iowa Type Theory Commute

Episode: More reflections on Coq

Description: I talk about a couple good resources for learning Coq, the problem of too many ways to do things in type theory, and issues trying to explain and document a very complex language.

Click any word to see translations, usage examples & similar words. Then learn them using saved words.

Text not synced with the audio? See here for why certain podcasts won't sync.

Key for transcripts:

saved words | learned words

Colours will update after you refresh the page.