waynee95 (Dec 01 2022 at 15:40): waynee95 (Dec 01 2022 at 15:40):Not sure if this is the right place but I just noticed that the AFP entry
https://www.isa-afp.org/entries/Multitape_To_Singletape_TM.html
seems to be broken. The theory files have no content and proof outline and document don't exist.
Manuel Eberl (Dec 01 2022 at 21:16):I think it just takes a while after the entry is first added. Not sure.
Manuel Eberl (Dec 01 2022 at 21:16):I just tried it and it seems to work.
Last updated: Dec 21 2024 at 12:33 UTC