Let's play Proofsweeper

Dies ist ein vergangenes Event

4 Personen haben teilgenommen

Bild des Veranstaltungsortes


• Was wir unternehmen werden
Wie will give the Proofsweeper game a try: "Play Minesweeper by formally proving your moves in Idris"


• Was sollst du mitbringen
Please bring your laptop. If prossible with a working Idris installation and editor. If you haven't installed Idris yet, we can help you.

• Wichtig zu wissen