adding issue

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