Conference Paper/Proceeding/Abstract 210 views 21 downloads
Verifying Z3 SAT Proofs with the Interactive Theorems Prover Coq/Rocq and Agda
Harry Bryant,
Andrew Lawrence,
Monika Seisenberger 
,
Anton Setzer
,
Anton Setzer
Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2025 Proceedings), Swansea, Pages: 1 - 5
Swansea University Authors:
Harry Bryant, Monika Seisenberger , Anton Setzer
-
PDF | Accepted Manuscript
Download (503.9KB)
DOI (Published version): 10.5281/ZENODO.17946910
Abstract
Verifying Z3 SAT Proofs with the Interactive Theorems Prover Coq/Rocq and Agda
| Published in: | Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2025 Proceedings), Swansea |
|---|---|
| Published: |
Zenodo
2025
|
| Online Access: |
https://doi.org/10.5281/zenodo.17946910 |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa71159 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
1 |
| End Page: |
5 |