Update index.html

Author: spitters

index.html

@@ -29,7 +29,7 @@ <h1 align="center">Coq Repository at Nijmegen</h1>
 <li><a href="http://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath">ForMath</a>
   project (Spitters, Krebbers, van der Weegen, Makarov):<ul>
   <li> Fast computation inside Coq</li>
-  <li> Development of the <a href="http://math-classes.org/">math-classes</a> library using type classes.</li>
+  <li> Development of the <a href="https://github.com/math-classes/math-classes">math-classes</a> library using type classes.</li>
   <li> Development of a simple ODE-solver. </li></ul>
   </li>
 </ul>