Max Haslbeck
2018-11-06 11:12:42 UTC
Dear list,
this is to announce our first prototype implementation for
a proving contest system, as has been discussed
before [1] on this mailing list.
It is available at
https://competition.isabelle.systems/
Feel free to participate and share your feedback.
cheers,
max
[1]
https://cl-isabelle-users.cam.ac.narkive.com/DHDMhc2K/international-olympiad-in-isabelle
this is to announce our first prototype implementation for
a proving contest system, as has been discussed
before [1] on this mailing list.
It is available at
https://competition.isabelle.systems/
Feel free to participate and share your feedback.
cheers,
max
[1]
https://cl-isabelle-users.cam.ac.narkive.com/DHDMhc2K/international-olympiad-in-isabelle