home.md

 # What is RefacCert ?
 
-RefacCert is a project to explore the idea of a "proven correct" refactoring tool for C source code. It relies on CompCert C formalization in Coq : http://compcert.inria.fr .
+RefacCert is a project to explore the idea of a "proven correct" refactoring tool for C source code. It relies on the CompCert C formalization in Coq : http://compcert.inria.fr .
 
 
 # Contract