Published December 16, 2025
| Version v1
Conference paper
Open
Verifying Z3 SAT Proofs with the Interactive Theorems Prover Coq/Rocq and Agda
Authors/Creators
-
1.
Swansea University
- 2. Siemens Mobility
Files
ccc2025_bryant-setzer-lawrence-seisenberger.pdf
Files
(516.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1d07f5f97cf5742684cf5724803ff937
|
516.0 kB | Preview Download |