search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
174 stars 29 forks source link

Typo in documentation, hints.md #224

Closed JadAbouHawili closed 5 months ago

joneugster commented 5 months ago

Thanks!