Iowa Type Theory Commute Podcast

38 views

Skip to first unread message

unread,

May 4, 2022, 11:05:40 AM5/4/22

to metamath

Hi all,

FYI, Aaron Stump recently did a podcast about Metamath in his Iowa Type Theory Commute series:

https://podcasts.apple.com/us/podcast/metamath/id1493036757?i=1000558478643

Aaron has nice words about his first experience with the Metamath book and the Metamath.exe program, so I'm sure the community will be interested.