Published May 7, 2025
| Version v1
Software
Open
Accompanying artefact for "What does it take to certify conversion?"
Description
Artefact described in the article “What does it take to certify conversion?”, to be published at FSCD 2025.
Files
logrel-coq-fscd25.zip
Files
(273.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:80e27ae880c2560bdf1872fcecd0b769
|
273.1 kB | Preview Download |
Additional details
Related works
- Is published in
- Preprint: arXiv:2502.15500 (arXiv)
Software
- Repository URL
- https://github.com/CoqHott/logrel-coq/tree/fscd25
- Programming language
- Coq
- Development Status
- Active