[isabelle] Proving for Fun



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 archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.