Email Gateway (Aug 22 2022 at 18:47): Email Gateway (Aug 22 2022 at 18:47):From: Max Haslbeck <haslbema@in.tum.de>
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
Last updated: Apr 20 2024 at 04:19 UTC