aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCyril Cohen2019-11-06 15:54:53 +0100
committerGitHub2019-11-06 15:54:53 +0100
commit5a0e3f86d8e7230da075a9b9c82440d45979a413 (patch)
tree438c1217736a55c391030988971ef9abe8b5fd11
parent9a8b8292371526978b9e34804daf114658fe4b7a (diff)
parentc74ff2cfee7df2a3caa31789d606f96e3a0dfb3a (diff)
Merge pull request #410 from GTaumaturgo/patch-1
Update README.md
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
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)