diff --git a/README.md b/README.md index 9d647ffea4a4a034a96867f79a704bcfa5d1d643..f37892841efe9a75efac5c8aff9c00c3124e9c65 100644 --- a/README.md +++ b/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