scientific article; zbMATH DE number 3870635
From MaRDI portal
Publication:3336730
Recommendations
- A survey of interactive theorem proving
- Interactive theorem proving. Preface of the special issue
- scientific article; zbMATH DE number 1552511
- scientific article; zbMATH DE number 2177623
- Foreword to: Special issue on interactive theorem provers
- A synthesis of the procedural and declarative styles of interactive theorem proving
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
- Interactive theorem proving from the perspective of Isabelle/Isar
- A light-weight integration of automated and interactive theorem proving
- Embedding complex decision procedures inside an interactive theorem prover.
Cited in
(12)- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
- Some considerations on the usability of interactive provers
- Integration of automated and interactive theorem proving in ILF
- Interactive theorem proving. Preface of the special issue
- An Interactive Driver for Goal-directed Proof Strategies
- scientific article; zbMATH DE number 1765687 (Why is no real title available?)
- scientific article; zbMATH DE number 3881901 (Why is no real title available?)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
- The Abella Interactive Theorem Prover (System Description)
- Theorema 2.0: A System for Mathematical Theory Exploration
- Collaborative Interactive Theorem Proving with Clide
- \textit{Symlog}. Automated advice in Fitch-style proof construction
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3336730)
