search

djvelleman / STG4

Set Theory Game
7 stars 8 forks source link

Fix typo #7

Closed albamath closed 7 months ago

albamath commented 7 months ago

Fix typo 'comlp' for 'compl'.

djvelleman commented 7 months ago

Thanks. I fixed it and then uploaded to the lean game server.