Pages that link to "Item:Q1915134"
From MaRDI portal
The following pages link to Productive use of failure in inductive proof (Q1915134):
Displayed 10 items.
- An integrated approach to high integrity software verification (Q861714) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Appropriate lemmae discovery (Q1827320) (← links)
- On terminating lemma speculations. (Q1854370) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- A calculus for and termination of rippling (Q1915137) (← links)
- Proving theorems by reuse (Q1978233) (← links)