Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Proof Ground 2020 - Results

view this post on Zulip Email Gateway (Aug 23 2022 at 09:19):

From: Max Haslbeck <haslbema@in.tum.de>
Dear Isabelle enthusiasts,

Just before the Isabelle Workshop and IJCAR we hosted another edition of
the workshop Proof Ground [1] featuring a fun proving competition in Coq,
Isabelle and Lean.

The final leaderboard is summarized here [2]. The winners are:

  1. Manuel Eberl
  2. Martin Raszyk
  3. Peter Lammich

They all used Isabelle! Amongst 17 participants, Manuel was the only one
that managed to solve all five tasks in just under 210 minutes. You can
find the tasks of the two sessions at Proving for Fun [3,4], try to solve
them yourself and submit your solutions in the AllTime contest [5]. We also
host a Github repository [5] collecting polished solutions. Feel free to
send us a pull request with your own.

Our infrastructure is not only used for proving competition, but also
routinely manages and grades homework for Isabelle courses at TUM (e.g.
Functional Datastructures this summer term [6]). We are happy to help you
set up your own instance, or to host your proving competition or tutorial
at Proving for Fun.

To further enable discussion about Proof Ground, its infrastructure and
usage, we set up a stream in the Isabelle Zulip Chat [7]. We are looking
forward to meet you there!

All the best,
Max Haslbeck
Simon Wimmer

[1] https://www21.in.tum.de/~wimmers/proofground
<https://www21.in.tum.de/~wimmers/proofground2020/>2020
<https://www21.in.tum.de/~wimmers/proofground2020/>/
<https://www21.in.tum.de/~wimmers/proofground2020/>
[2] https://www21.in.tum.de/~wimmers/proofground
<https://www21.in.tum.de/~wimmers/proofground2020/slides/results.html#/final-leaderboard>
2020
<https://www21.in.tum.de/~wimmers/proofground2020/slides/results.html#/final-leaderboard>
/slides/results.html#/final-leaderboard
<https://www21.in.tum.de/~wimmers/proofground2020/slides/results.html#/final-leaderboard>
[3] https://competition.isabelle.systems/competitions/contest/18/
[4] https://competition.isabelle.systems/competitions/contest/19/
[5] https://competition.isabelle.systems/competitions/contest/6/
[6] https://www21.in.tum.de/teaching/FDS/SS20/
[7] https://isabelle.zulipchat.com

Last updated: Apr 24 2024 at 08:20 UTC