Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic handling of overloading by means of a flexible disambiguation mechanism. We show how to use these features to obtain a simple learning environment for natural deduction, without modifying the source code or Matita. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Sacerdoti Coen, C., & Tassi, E. (2009). Natural deduction environment for matita. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5625 LNAI, pp. 486–491). https://doi.org/10.1007/978-3-642-02614-0_40
Mendeley helps you to discover research relevant for your work.