Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
Getting started with DCS
•
Aaron Stump
•
Season 4
•
Episode 17
In this episode, I talk more about the DCS tool, and invite listeners to check it out and possibly contribute! The repo is here.