more

README.md

@@ -38,8 +38,10 @@ their discussion areas.
 
 * Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 #11 #12 #16 #20 #22 #24 
 * Representation of logical systems and their translations via Theory Graphs: #5 #8
-* Serious Games for Maths (based on logic and theory graphs): #1 #3
-* The  [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28
+* Serious Games for Maths (based on logic and theory graphs): #1 #3 (but also see the
+  [project issues](https://github.com/UFrameIT/UFrameIT/issues)
+* The  [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28 (but also see the
+  project issues: [Frontend](https://github.com/MathHubInfo/Frontend/issues) [Backend](https://github.com/MathHubInfo/MathHub/issues)
 * Semantics-Extraction from technical/mathematical documents: #2 #6
 * [Mathematical search engines](http//search.mathweb.org): #26 #27 
 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF): #7