diff options
| author | Enrico | 2019-02-07 20:54:12 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2019-02-07 20:54:12 +0100 |
| commit | 1b76d5137ed76eed23fda23861dd5b63f22a31eb (patch) | |
| tree | 2d5f34150a67ad9f83e259e20523ec134b30386c /README.md | |
| parent | 844c94bab187bbaf09da496d22d036885d989cae (diff) | |
add a link to the website (#274)
* Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -26,6 +26,8 @@ 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 venue for help and questions about the library. |