Stratego 2
Jeff Smits
Date: Wed, September 14, 2022
Time: 12:00
Room: Turing 0.E420
Previous:
tba | Session: What did you do last Summer
Next:
| Tactics in Agda using reflection