Pages that link to "Item:Q2817301"

The following pages link to Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301):

Displayed 2 items.

• The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) ‎ (← links)
• Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) ‎ (← links)