The following pages link to (Q4447243):
Displaying 4 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- Automated Certification of Implicit Induction Proofs (Q3100200) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
