diff --git a/README.md b/README.md
index d563e99fafcbe9deda2b71b54e3878a4c8b67973..012640eca6bd3764e3f68371076fa44dc8a28b76 100644
--- a/README.md
+++ b/README.md
@@ -44,7 +44,7 @@ their discussion areas.
   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
+* [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
 * Interoperability and integration of mathematical software systems - e.g. computer