diff options
| author | Reynald Affeldt | 2020-06-06 08:27:32 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-06-06 08:32:42 +0900 |
| commit | d50fa93d5bdddbc42bceb59a9e40cace01dfc2ba (patch) | |
| tree | 16accf0579afbfd60ba2f7780f4c855708c470c1 | |
| parent | 43459547cbcd9d7987a083829171a589ba98bf81 (diff) | |
change links to the wiki to links to the website
| -rw-r--r-- | README.md | 14 |
1 files changed, 5 insertions, 9 deletions
@@ -27,21 +27,17 @@ installation instructions in other scenarios. ## How to get help - The [website](http://math-comp.github.io/math-comp/) of the MathComp library - contains links to the HTML documentation of each file. -- The [ssreflect mailing - list](https://sympa.inria.fr/sympa/info/ssreflect) is the primary + contains: + + links to the [HTML documentation of each file](https://math-comp.github.io/htmldoc/index.html) + + a list of [tutorials](https://math-comp.github.io/documentation.html) +- The [ssreflect mailing list](https://sympa.inria.fr/sympa/info/ssreflect) is the primary venue for help and questions about the library. - The [Mathematical Components Book](https://math-comp.github.io/mcb/) provides a comprehensive introduction to the library. -- The [MathComp wiki](https://github.com/math-comp/math-comp/wiki) - contains many useful information, including a list of - [tutorials](https://github.com/math-comp/math-comp/wiki/tutorials). - Experienced users hang around at [StackOverflow](https://stackoverflow.com/questions/tagged/ssreflect) listening to the `ssreflect` and `coq` tags. ## Publications and Tools using MathComp -A collection of [papers](https://github.com/math-comp/math-comp/wiki/Publications) -using the Mathematical Components library can be found on the -[wiki](https://github.com/math-comp/math-comp/wiki). +[A collection of papers using the Mathematical Components library](https://math-comp.github.io/papers.html) |