dead link for lost provers

[JacquesCarette]

In the paper at https://arxiv.org/abs/1904.10414, there is a link [TPLb] whose URL 404s right now.

[kohlhase]

thanks. I will change that in the next version it is https://theoremprover-museum.github.io/lost/

On 24.04.19 14:51, Jacques Carette wrote: In the paper at https://arxiv.org/abs/1904.10414, there is a link [TPLb] whose URL 404s right now. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#19>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AA6ZXIWPLU7NHVCX6AATBELPSBJVFANCNFSM4HIDSOFQ>.

-- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de ----------------------------------------------------------------------

[tkw1536]

Since [1] we should really use [2] for this.

[1] https://www.w3.org/Provider/Style/URI
[2] https://help.github.com/en/articles/redirects-on-github-pages