diff options
| -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. |