Merge pull request #16 from math-comp/MCB-no-progress-no-more

MCB is done
math-comp · Jan 28, 2021 · 4efaece · 4efaece
2 parents b801751 + ded1cad
commit 4efaece
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 23 deletions.
diff --git a/index.html b/index.html
diff --git a/index.org b/index.org
@@ -62,8 +62,8 @@ software license agreement.
 - The Ssreflect language comes with a dedicated reference manual,
   as a [[https://coq.inria.fr/distrib/current/refman/proof-engine/ssreflect-proof-language.html][chapter]] of Coq's reference manual.
 
-- A [[https://math-comp.github.io/mcb/][book]] is in progress, and introduces the techniques for writing
-  algorithms and proofs and describing the design ideas of the
+- A [[https://math-comp.github.io/mcb/][book]] that introduces the techniques for writing
+  algorithms and proofs and describes the design ideas of the
   library.
 
 ** More material