Real Analysis, The Game

Note that this is v0.1. Currently in progress (in a separate repo) is v1.0. Please continue to post Issues here, so we make sure to address them in the next version. But we're not currently maintaining v0.1. Thank you!

This is a game for lean4game.

The documentation about how to use this are at the lean4game repository:

• Creating a new game
  • Updating an existing game
  • Running a game locally