Pages that link to "Item:Q841684"
From MaRDI portal
The following pages link to ATP-based cross-verification of Mizar proofs: method, systems, and first experiments (Q841684):
Displaying 9 items.
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
