SMTCoq: a plug-in for integrating SMT solvers into Coq (Q2164216)

From MaRDI portal
scientific article
Language Label Description Also known as
English
SMTCoq: a plug-in for integrating SMT solvers into Coq
scientific article

    Statements

    SMTCoq: a plug-in for integrating SMT solvers into Coq (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    12 August 2022
    0 references
    satisfiability modulo theories
    0 references
    proof certificates
    0 references
    ZChaff
    0 references
    external solvent
    0 references
    functional arrays
    0 references
    0 references
    0 references

    Identifiers