diff --git a/README.md b/README.md index 6465781824cb6ecad163ae1f84897cb56ec38c19..cee4290c4547e9f2820485b01e38ae451818c7fd 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,7 @@ below, in particular, you should contact the Principal Investigator of KWARC: Topcis are available in the following larger areas, individual topics will be encoded as [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be discussed in their -* Serious Games for Maths (based on logic and theory graphs) +* Serious Games for Maths (based on logic and theory graphs): #1 * Semantics-Extraction from technical/mathematical documents (and the use of this in [mathematical search engines](http//search.mathweb.org)) * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the