lean4game

Server to host Lean games. Maintained by leanprover-community on GitHub, where it has earned 522 stars from the community.

It's actively developed around lean4, react, and is a solid reference for anyone building with these tools.