The following pages link to (Q3336730):
Displaying 10 items.
- Interactive theorem proving. Preface of the special issue (Q287356) (← links)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- Theorema 2.0: A System for Mathematical Theory Exploration (Q2879097) (← links)
- Collaborative Interactive Theorem Proving with Clide (Q2879270) (← links)
- The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
- (Q4539627) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- Symlog automated advice in Fitch-style proof construction (Q5210814) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)