Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [EXTERNAL] new in the AFP: Recursion Theorem i...

Email Gateway (Aug 23 2022 at 09:08):

From: Richard Waldinger <waldinger@AI.SRI.COM>
Resending, the cartoon didn’t come through
https://media.newyorker.com/cartoons/5e90ed84fe3260000878c2a7/master/w_1160,c_limit/200420_a23997_706.jpg <https://media.newyorker.com/cartoons/5e90ed84fe3260000878c2a7/master/w_1160,c_limit/200420_a23997_706.jpg>

Last updated: Jan 07 2026 at 01:55 UTC