X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2FWrtCoq.html;h=c72e87572c68cca624b65ea99a5e9ef2be91ad5a;hb=f64e7e9e24f63a926191f08c6e36ef6763718127;hp=e365ebb4a49718e6c965982a88a7788e9835333a;hpb=7e374b23b0990d58217467b73e518e59781cb67d;p=helm.git diff --git a/helm/www/matita/docs/manual/WrtCoq.html b/helm/www/matita/docs/manual/WrtCoq.html index e365ebb4a..c72e87572 100644 --- a/helm/www/matita/docs/manual/WrtCoq.html +++ b/helm/www/matita/docs/manual/WrtCoq.html @@ -1,6 +1,6 @@ -Matita vs Coq
Matita vs Coq
Prev Chapter 1. Introduction Next

Matita vs Coq

+Matita vs Coq

Matita vs Coq
Prev Chapter 1. Introduction Next

Matita vs Coq

The system shares a common look&feel with the Coq proof assistant and its graphical user interface. The two systems have the same logic, very close proof languages and similar sets of tactics. Moreover,