Please, add PTS checker Yarrow

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

Open safinaskar opened 3 years ago

safinaskar commented 3 years ago

Please, add PTS checker Yarrow ( https://www.cs.ru.nl/~janz/yarrow/ ), their site once went down

kohlhase commented 3 years ago

I am sending Jan an e-mail to see whether he is willing to organize this.

kohlhase commented 3 years ago

hmmm, do you have an e-mail? the one at Nijmegen bounces.

safinaskar commented 3 years ago

hmmm, do you have an e-mail?

What do you mean? I have (my) e-mail: safinaskar@mail.ru

kohlhase commented 3 years ago

sorry, I was trying to contact Jan Zwaane... the author.