X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=4c9e166c5169b31ee651f5c45b2b84cc830e6a67;hb=d762b84db61b73b9f5a4f7f4b4a236e4e98500fc;hp=33a658479329d10443f9b17d9aa528966ef74b08;hpb=f08e376eb0b370f92900182d3a5867a5b8c0cf7b;p=helm.git diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index 33a658479..4c9e166c5 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -1,7 +1,8 @@ - - + + + Matita - Home Page @@ -11,7 +12,10 @@
- Big Matita label + Matita + + italian flag +

@@ -71,7 +75,7 @@ --> - The knowledge base can be + The knowledge base can be browsed as an hypertext (locally or on the World Wide Web) and searched by means of @@ -86,6 +90,14 @@ The tactical language, part of the proof language, has step-by-step semantics, enabling inspection and replaying of deeply structured proof scripts.

+ +

Matita is partially supported by the following Projects:

+