Commit dcc22fea authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent 74529462
......@@ -36,8 +36,8 @@ Topcis are available in the following larger areas, individual topics will be en
[issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be clarified in
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
* Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 #11 #12 #16 #20 #22 #24 #38
* Representation of logical systems and their translations via Theory Graphs: #5 #8 #38
* Serious Games for Maths (based on logic and theory graphs): #1 #3 #32 #33 #34 #35 (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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment