Proof Ground 2020 Opening

Max P.L. Haslbeck, Simon Wimmer

June 29, 2020

Intro

Proof Ground 2020

Welcome

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-15:30	Competition II
15:30-16:00	Coffee Break/Open Discussion
16:00-17:00	Results & Plenary Discussion

All times refer to the CEST time zone.

Competition System Tutorial

Overview

Other proof assistants?

Who does not want to work with Coq/Isabelle/Lean?

Please submit via email to wimmers@in.tum.de

Technical Notes

Lean 3.16.2 & Mathlib eb5b7fb7f406
Isabelle 2020
Coq 8.10

Coffee & lunch breaks

Zoom vs Discord

Discord has channels
Zoom will be live on Youtube also during breaks
You can use either one, Zoom or Discord

We prefer discord

Discord

Head over to discord.com and register an account.

Our server: https://discord.gg/yTeg3z

We will create channels for each task and proof assistant.

Can be used in the browser or as an app.

Questions?

Proof Ground 2020

Q & A

Competition: https://competition.isabelle.systems/

Website: http://www21.in.tum.de/~wimmers/proofground/

Discord (breaks): https://discord.gg/yTeg3z

Organizers available in Zoom & Discord.

Meet your competitor

Competition

Proof Ground 2020

Competition Preparation

Competition starts at 10:30 CEST: https://competition.isabelle.systems/

Website: http://www21.in.tum.de/~wimmers/proofground/

Discord (breaks): https://discord.gg/yTeg3z

Organizers available in Zoom & Discord.

Proof Ground 2020

Competition I

First round of competition happening now: https://competition.isabelle.systems/

Website: http://www21.in.tum.de/~wimmers/proofground/

Discord (breaks): https://discord.gg/yTeg3z

Organizers available in Zoom & Discord.

Proof Ground 2020

Lunch break

Second round of competition starts at 14:00 CEST: https://competition.isabelle.systems/

Now open discussion on Discord: https://discord.gg/yTeg3z

Website: http://www21.in.tum.de/~wimmers/proofground/

Organizers available in Zoom & Discord.

Proof Ground 2020

Competition II

Second round of competition happening now: https://competition.isabelle.systems/

Website: http://www21.in.tum.de/~wimmers/proofground/

Discord (breaks): https://discord.gg/yTeg3z

Organizers available in Zoom & Discord.

Proof Ground 2020

Coffee break

Results & closing at 16:00 CEST: https://competition.isabelle.systems/

Now open discussion on Discord: https://discord.gg/yTeg3z

Website: http://www21.in.tum.de/~wimmers/proofground/

Organizers available in Zoom & Discord.

Proof Ground 2020

Competition: https://competition.isabelle.systems/

Website: http://www21.in.tum.de/~wimmers/proofground/

Discord (breaks): https://discord.gg/yTeg3z

Organizers available in Zoom & Discord.