search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
51 stars 119 forks source link

adding new lean game server links #490

Closed sinhp closed 2 months ago

sinhp commented 2 months ago

Adding a link to the Robo game