diff options
| author | Cyril Cohen | 2018-11-06 10:35:54 +0100 |
|---|---|---|
| committer | GitHub | 2018-11-06 10:35:54 +0100 |
| commit | c6752029e2a43766a62e5059d7849ec971176452 (patch) | |
| tree | c6d7348d976941f5c457484ac06a75529aebcddc | |
| parent | e3ded45b0d4f4d1667e99c8a7fac7d730e06c33e (diff) | |
| parent | c93e54c38279bbefeda1d005d17b39b020bd867d (diff) | |
Merge pull request #241 from ybertot/fix240
fix issue #240
| -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. |