Abstract
This archive contains mechanized proofs for the theorems and lemmas that appear in the paper
Thomas Neele, Jaco van de Pol - Operations on Fixpoint Equation Systems. lmcs:11199 - Logical Methods in Computer Science, July 10, 2024, Volume 20, Issue 3 - https://doi.org/10.46298/lmcs-20(3:5)2024
This package contains proofs in both Coq (now known as Rocq) and PVS. See the included README file for details on how to execute the proofs.
Thomas Neele, Jaco van de Pol - Operations on Fixpoint Equation Systems. lmcs:11199 - Logical Methods in Computer Science, July 10, 2024, Volume 20, Issue 3 - https://doi.org/10.46298/lmcs-20(3:5)2024
This package contains proofs in both Coq (now known as Rocq) and PVS. See the included README file for details on how to execute the proofs.
| Original language | English |
|---|---|
| Publisher | Zenodo |
| DOIs | |
| Publication status | Published - 2024 |
Fingerprint
Dive into the research topics of 'Replication package with proofs for the paper "Operations on Fixpoint Equation Systems"'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver