Max P.L. Haslbeck, Simon Wimmer
June 28, 2021
Website: http://www21.in.tum.de/~wimmers/proofground/
Time | What? |
---|---|
09:30-10:00 | Intro and Q&A |
10:00-10:20 | Meet Your Competitors |
10:20-10:30 | Competition Preparation |
10:30-12:30 | Competition I |
12:30-14:00 | Lunch/Open Discussion |
14:00-16:00 | Competition II |
16:00-16:30 | Coffee Break/Open Discussion |
16:00-17:30 | Results & Plenary Discussion |
All times refer to the CEST time zone.
Session I will have two tasks:
Session I will have three tasks:
Who does not want to work with Coq/Isabelle/Lean?
Please submit via email to wimmers@in.tum.de
opam
packages on website.Armaël Guéneau
Fabian Huch
Head over to discord.com and register an account.
Our server: https://discord.gg/Pcq2JsbZ (same as last year)
We have created channels for each task and proof assistant.
Can be used in the browser or as an app.
Competition: https://do.proof.in.tum.de/
Website: http://www21.in.tum.de/~wimmers/proofground/
Discord (breaks): https://discord.gg/Pcq2JsbZ
Organizers available in Zoom & Discord.
Competition starts at 10:30 CEST: https://do.proof.in.tum.de/
Website: http://www21.in.tum.de/~wimmers/proofground/
Discord (breaks): https://discord.gg/Pcq2JsbZ
Organizers available in Zoom & Discord.
First round of competition happening now: https://do.proof.in.tum.de/
Website: http://www21.in.tum.de/~wimmers/proofground/
Discord (breaks): https://discord.gg/Pcq2JsbZ
Organizers available in Zoom & Discord.
Second round of competition starts at 14:00 CEST: https://do.proof.in.tum.de/
Now open discussion on Discord: https://discord.gg/Pcq2JsbZ
Website: http://www21.in.tum.de/~wimmers/proofground/
Organizers available in Zoom & Discord.
Second round of competition happening now: https://do.proof.in.tum.de/
Website: http://www21.in.tum.de/~wimmers/proofground/
Discord (breaks): https://discord.gg/Pcq2JsbZ
Organizers available in Zoom & Discord.
Results & closing at 16:00 CEST: https://do.proof.in.tum.de/
Now open discussion on Discord: https://discord.gg/Pcq2JsbZ
Website: http://www21.in.tum.de/~wimmers/proofground/
Organizers available in Zoom & Discord.
Competition: https://do.proof.in.tum.de/
Website: http://www21.in.tum.de/~wimmers/proofground/
Discord (breaks): https://discord.gg/Pcq2JsbZ
Organizers available in Zoom & Discord.