Statistiken

• 9 von 11 Gruppen haben abgegeben
• 2 Gruppen haben offenbar keine Ahnung, um welches Spiel es geht (aber übereinstimmende Klassendiagramme)
• 4 benutzen L^ATEX
• 2 benutzen Prädikatenlogik
• alle benutzen Typen