Pages that link to "Item:Q3431400"

The following pages link to (Q3431400):

Displaying 6 items.

• Aligning concepts across proof assistant libraries (Q1640642) (← links)
• Generic Tools via General Refinement (Q2873690) (← links)
• Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
• The Isabelle Framework (Q3543647) (← links)
• Local Theory Specifications in Isabelle/Isar (Q3638251) (← links)
• Matching Concepts across HOL Libraries (Q5495929) (← links)