An interactive SMT tactic in Coq using abductive reasoning

DOI10.29007/432MMaRDI QIDQ7025230zbMATH OpenFDO

Authors Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark Barrett

Publication date 19 February 2025

zbMATH Keywords

abductionCoqcvc5SMTCoq

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: An interactive SMT tactic in Coq using abductive reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025230)