Iowa Type Theory Commute Podcast
38 views
Skip to first unread message
Thierry Arnoux
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.
_
Thierry
Reply all
Reply to author
Forward
0 new messages