From c74ff2cfee7df2a3caa31789d606f96e3a0dfb3a Mon Sep 17 00:00:00 2001 From: Gabriel Taumaturgo Date: Mon, 4 Nov 2019 14:46:56 -0300 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 51f3f02..7cf3312 100644 --- a/README.md +++ b/README.md @@ -34,7 +34,7 @@ installation instructions in other scenarios. - 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 including a list of + 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) -- cgit v1.2.3