search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 7 forks source link

dead link for lost provers #19

Open JacquesCarette opened 5 years ago

JacquesCarette commented 5 years ago

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

kohlhase commented 5 years ago

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 https://github.com/theoremprover-museum/theoremprover-museum.github.io/issues/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 commented 5 years ago

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