The following pages link to (Q2729065):
Displayed 8 items.
- Proof General (Q17052) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- An experiment concerning mathematical proofs on computers with French undergraduate students (Q1884267) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- The Isabelle Framework (Q3543647) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)