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

MCB is done

Author: affeldt-aist

index.html

@@ -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