diff --git a/README.md b/README.md index 012640eca6bd3764e3f68371076fa44dc8a28b76..77a94372f004975580d5aac8198c6edca4376d0d 100644 --- a/README.md +++ b/README.md @@ -46,7 +46,7 @@ their discussion areas. * [Mathematical search engines](http//search.mathweb.org): #26 #27 * [Integration of theorem prover libraries](http://kwarc.info/projects/oaf/): #7 #29 #30 * Active Dokuments and the integration of semantic services into legal/technical/mathematical - documents (e.g. for course materials): #9 #10 #23 + documents (e.g. for course materials): #9 #10 #23 #29 #30 * Interoperability and integration of mathematical software systems - e.g. computer algebra, math data bases, theorem provers (in the [OpenDreamKit](http://opendreamkit.org) EU project) #7