Stream: Proof Ground

Topic: Proving for Fun checker: Internal error

view this post on Zulip Jakub Kądziołka (Jun 20 2021 at 16:26):

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?

view this post on Zulip Fabian Huch (Jun 21 2021 at 06:58):

That Indicates that the Isabelle server is not responding. Judges for Isabelle 2019 and below are not active any more.

view this post on Zulip Mohammad Abdulaziz (Jun 23 2021 at 15:26):

(deleted)

view this post on Zulip Jakub Kądziołka (Jun 23 2021 at 23:44):

Hmm, okay. Is there a variant of https://do.proof.in.tum.de/competitions/contest/6/tasks/4/ with an active Isabelle version?

view this post on Zulip maximilian p.l. haslbeck (Jun 25 2021 at 13:03):

now there is. I will also provide Isabelle2021 versions of the problems in the AllTime contest by tonight.

view this post on Zulip maximilian p.l. haslbeck (Jun 25 2021 at 20:04):

The tasks of the AllTime contest are now available for Isabelle2021. Have fun!

Last updated: Apr 25 2024 at 08:20 UTC