Pages that link to "Item:Q286805"
From MaRDI portal
The following pages link to Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805):
Displaying 5 items.
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)
