Pages that link to "Item:Q2441776"
From MaRDI portal
The following pages link to SMT proof checking using a logical framework (Q2441776):
Displaying 8 items.
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver (Q832260) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- A flexible proof format for SAT solver-elaborator communication (Q2044190) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
- A unified framework for DPLL(T) + certificates (Q2375732) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
