The following pages link to (Q5219926):
Displaying 9 items.
- Interactive theorem proving. Preface of the special issue (Q287356) (← links)
- On definitions of constants and types in HOL (Q287358) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- (Q2729071) (← links)
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- (Q3336730) (← links)
- The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)