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.