Argument

Matita

Overview

proof assistant program

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Proof assistant
• Formal verification
• XML
• Compiler
• Rocq
• Formal specification

Place in the tradition

Part of Type theory.

Explore Matita in the interactive graph →