Re: [isabelle] automatically grade Isabelle homework?

Hi Johannes,

also see this thread, where I asked similar questions (but without much
more answers :-)

Am Freitag, den 08.07.2016, 18:43 +0200 schrieb Johannes Waldmann:
> 2. how safe is it to run Isabelle?

as Lars says, there is a safe mode, and we use in (in addition to
containerization using Docker) Karlsruhe where we automatically process
Isabelle submissions using the âPraktomatâ checker. We currently do not
check what the students actually proved, for that we still manually
check their submission, but this way any sorries or other problems are

provides some inspiration.


Dr. rer. nat. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.