Pages that link to "Item:Q286801"

The following pages link to Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801):

Displaying 3 items.

• The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
• Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
• Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)