- and its graphical user interface. The two systems have the same logic,
- very close proof languages and similar sets of tactics. Moreover,
- Matita is compatible with the library of Coq.
+ and its graphical user interface. The two systems have variants
+ of the same logic,
+ close proof languages and similar sets of tactics. <!--Moreover,
+ Matita is compatible with the library of Coq.-->