diff --git a/README.md b/README.md index 58ffd38..acf120a 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # 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](https://github.com/leanprover-community/lean4game/). The documentation about how to use this are at the [lean4game repository](https://github.com/leanprover-community/lean4game/):