Pages that link to "Item:Q2462635"
From MaRDI portal
The following pages link to User interaction with the Matita proof assistant (Q2462635):
Displayed 10 items.
- Matita (Q18274) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- Declarative representation of proof terms (Q2655330) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- The Matita Interactive Theorem Prover (Q5200015) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)