@@ -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,15 @@ 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: +
-
+
- + Types Project +
- McTafi +
- Dama +