SMTCoq

github.comtool

Tool that checks proof witnesses coming from external SAT and SMT solvers.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Plugins: “Tool that checks proof witnesses coming from external SAT and SMT solvers.”