diff options
| author | Enrico | 2018-07-02 15:30:26 +0200 |
|---|---|---|
| committer | GitHub | 2018-07-02 15:30:26 +0200 |
| commit | b8be28130d6a2a057858e3978c75ee0796630dce (patch) | |
| tree | 93000cf1aff0140e9f0195e8c0345c97276eca2f /README.md | |
| parent | bcba70f86ac39c3d234da0d696c4b32a741e71cf (diff) | |
fix URL in README
Fix #200
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the [Coq](http://coq.inria.fr) proof assistant, powered with the -[Coq/SSReflect](https://coq.inria.fr/distrib/current/refman/ssreflect.html) +[Coq/SSReflect](https://coq.inria.fr/distrib/current/refman/proof-engine/ssreflect-proof-language.html) language. These formal theories cover a wide spectrum of topics, ranging from the formal theory of general purpose data structures like [lists](mathcomp/ssreflect/seq.v), [prime numbers](mathcomp/ssreflect/prime.v) or [finite graphs](mathcomp/ssreflect/fingraph.v), to advanced topics in algebra. The repository includes the foundation of formal theories used in a [formal proof](https://www.ams.org/notices/200811/tx081101382p.pdf) of the [Four Colour Theorem](https://en.wikipedia.org/wiki/Four_color_theorem) (Appel - Haken, 1976) and a [mechanization](https://hal.archives-ouvertes.fr/hal-00816699/) of the [Odd Order Theorem](https://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem) (Feit - Thompson, 1963), a landmark result of finite group theory, which utilizes the library extensively. |