The following pages link to Matita (Q18274):
Displayed 23 items.
- Natural Deduction Environment for Matita (Q3637307) (← links)
- About the Formalization of Some Results by Chebyshev in Number Theory (Q3638243) (← links)
- (Q4580228) (← links)
- Type classes for efficient exact real arithmetic in Coq (Q4913763) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
- (Q4964707) (← links)
- Dot-types and Their Implementation (Q4981261) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
- A User Interface for a Mathematical System that Allows Ambiguous Formulae (Q5166498) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (Q5170238) (← links)
- (Q5195246) (← links)
- (Q5195248) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case (Q5428267) (← links)
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269) (← links)
- (Q5875441) (← links)
- Preface (Q5894305) (← links)