<p>The CerCo project is a FET Open IST project funded by the EU
community in the 7th Framework Programme. More informations on the
project and the code of the Matita formalization can be found
<p>The CerCo project is a FET Open IST project funded by the EU
community in the 7th Framework Programme. More informations on the
project and the code of the Matita formalization can be found