Pages that link to "Item:Q5477646"
From MaRDI portal
The following pages link to Theorem Proving in Higher Order Logics (Q5477646):
Displayed 7 items.
- PoplMark (Q22078) (← links)
- Nominal techniques in Isabelle/HOL (Q928672) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- Mechanized Verification of CPS Transformations (Q3498467) (← links)
- The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
- Nominal Inversion Principles (Q3543650) (← links)
- Structural Abstract Interpretation: A Formal Study Using Coq (Q5191090) (← links)