The following pages link to Tinycals: step by step tacticals (Q2867943):
Displaying 9 items.
- The proof monad (Q974136) (← links)
- Formal metatheory of programming languages in the Matita interactive theorem prover (Q1945919) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Declarative representation of proof terms (Q2655330) (← links)
- PVS\#: streamlined tacticals for PVS (Q2864359) (← links)
- Natural Deduction Environment for Matita (Q3637307) (← links)
- The Matita Interactive Theorem Prover (Q5200015) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- A Tactic Language for Hiproofs (Q5505516) (← links)