Let's play Proofsweeper

Dies ist ein vergangenes Event

4 Personen haben teilgenommen

Bild des Veranstaltungsortes

Details

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

https://github.com/A1kmm/proofsweeper

• 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