Pages that link to "Item:Q2055877"
From MaRDI portal
The following pages link to Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877):
Displaying 4 items.
- Quantifier simplification by unification in SMT (Q831945) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
