other typo

src/index.page.ml

@@ -19,7 +19,7 @@ to improve the reasonning power of current software verification tools in order
 to make them more powerful, more efficient and easier to use.
 
 During this project, a new framework for the
-cooperation of solvers we will be designed. It will focused on model
+cooperation of solvers we will be designed. It will be focused on model
 generation and borrowing
 principles from SMT (current standard) and CP (well-known in
 optimization).