Natural Deduction Environment for Matita

DOI10.1007/978-3-642-02614-0_40MaRDI QIDQ3637307zbMATH OpenOpenAlexFDO

Authors Claudio Sacerdoti Coen, Enrico Tassi

Publication date 9 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02614-0_40

Mathematics Subject Classification ID

Recommendations

• The Matita interactive theorem prover
• User interaction with the Matita proof assistant
• scientific article; zbMATH DE number 3922016
• scientific article; zbMATH DE number 1497860
• Pandora: A Reasoning Toolbox using Natural Deduction Style

Cites work

• From Notation to Semantics: There and Back Again
• scientific article; zbMATH DE number 1951625 (Why is no real title available?)
• Spurious disambiguation errors and how to get rid of them
• The Matita interactive theorem prover
• Tinycals: step by step tacticals

Cited in

(3)

• User interaction with the Matita proof assistant
• The Matita interactive theorem prover
• Pandora: A Reasoning Toolbox using Natural Deduction Style

Describes a project that uses

Uses Software

• GtkMathView
• Matita

This page was built for publication: Natural Deduction Environment for Matita

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637307)