search

leanprover-community / lean4game

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

Google search #178

Open joneugster opened 11 months ago

joneugster commented 11 months ago

Improve visibility on google, in particular when earching for "Natural number game"

joneugster commented 11 months ago