diff options
| author | Yves Bertot | 2018-11-05 16:51:17 +0100 |
|---|---|---|
| committer | Yves Bertot | 2018-11-05 16:51:17 +0100 |
| commit | c93e54c38279bbefeda1d005d17b39b020bd867d (patch) | |
| tree | c6d7348d976941f5c457484ac06a75529aebcddc /docs/index.html | |
| parent | e3ded45b0d4f4d1667e99c8a7fac7d730e06c33e (diff) | |
fix issue #240
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index c1c0909..2ee5b07 100644 --- a/docs/index.html +++ b/docs/index.html @@ -33,7 +33,7 @@ <a id="about" class="anchor" href="#about" aria-hidden="true"><span class="octicon octicon-link"></span></a>About</h3> <p> The Mathematical Components library for - <a href="http://www.coq.inria.fr">Coq</a> has its origins in + <a href="http://coq.inria.fr">Coq</a> has its origins in the formal proof of the Four Colour Theorem. Since then it has grown to cover many areas of mathematics and has been used for large scale projects like the formal proof of the Odd Order Theorem. |