Re: [isabelle] automatically grade Isabelle homework?



> 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. 

The point I was trying to make is: there is a "safe" mode, but don't
ever use it! :-)

Cheers
Lars




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