All my attempts are resulting in
An error occured while processing Isabelle Server's output (Expecting value: line 1 column 1 (char 0))
Is this an error on my side, or yours? If the former, how do I debug this?
That Indicates that the Isabelle server is not responding. Judges for Isabelle 2019 and below are not active any more.
Hmm, okay. Is there a variant of https://do.proof.in.tum.de/competitions/contest/6/tasks/4/ with an active Isabelle version?
now there is. I will also provide Isabelle2021 versions of the problems in the
AllTime contest by tonight.
The tasks of the AllTime contest are now available for Isabelle2021. Have fun!
Last updated: Dec 07 2023 at 16:21 UTC