Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Broken link in AFP


view this post on Zulip Email Gateway (Feb 10 2022 at 10:52):

From: Peter Lammich <lammich@in.tum.de>
This is the browse-theories link at
https://www.isa-afp.org/entries/Monad_Memo_DP.html

It's broken ...

https://www.isa-afp.org/browser_info/current/AFP/Monad_Memo_DP/index.html


Last updated: Jul 15 2022 at 23:21 UTC