Email Gateway (Aug 22 2022 at 20:33): Email Gateway (Aug 22 2022 at 20:33):From: Tobias Nipkow <nipkow@in.tum.de>
As part of the Proof Ground workshop
https://www21.in.tum.de/~wimmers/proofground/ at ITP the first theorem proving
competition is online NOW:
https://competition.isabelle.systems/competitions/contest/13/
Go and watch or even participate!
Tobias
smime.p7s
Email Gateway (Aug 22 2022 at 20:33):From: Tobias Nipkow <nipkow@in.tum.de>
The Isabelle team sledgehammer_squad (Eberl & Lammich) have just won this
competition by being the first ones to solve all 3 problems.
Congratulations!!!
More to come in the afternoon (PDT)
Tobias
smime.p7s
Email Gateway (Aug 22 2022 at 20:33):From: Manuel Eberl <eberlm@in.tum.de>
That was a bit premature. There will be another session with two more
problems in the afternoon, and one Lean team finished only about 10
minutes or so after we did. So things can still change significantly!
Manuel
Email Gateway (Aug 22 2022 at 20:33):From: Tobias Nipkow <nipkow@in.tum.de>
Not really premature: I did only mean the morning competition, but they also won
the afternoon one :-)
Tobias
smime.p7s
Last updated: Apr 24 2024 at 04:17 UTC