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