Pages that link to "Item:Q2847390"
From MaRDI portal
The following pages link to Assertion-level proof representation with under-specification (Q2847390):
Displaying 6 items.
- Formal justification of underspecification for S5 (Q287254) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Proving correctness w.r.t. specifications with hidden parts (Q5096185) (← links)