EPISODE · Nov 26, 2019 · 13 MIN
Computer-Checked Proofs in American Research
from Iowa Type Theory Commute · host Aaron Stump
Some pockets of interest in computer-checked proofs in the US in the 1980s and 1990s. Several important research projects and initiatives in the US in the late 1990s and early 2000s that helped raise awareness in the US of computer-checked proofs: proof-carrying code, the POPLmark challenge.
Embed this episode
NOW PLAYING
Computer-Checked Proofs in American Research
0:00
13:33
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Iowa Type Theory Commute?
This episode is 13 minutes long.
When was this Iowa Type Theory Commute episode published?
This episode was published on November 26, 2019.
Can I download this Iowa Type Theory Commute episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!