Published December 21, 2022
| Version v1.0.0
Software
Open
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq Formalization)
Authors/Creators
Description
Coq formalization accompanying this paper: https://doi.org/10.1007/978-3-031-28083-2
Files
TobiasKappe/ka-fmp-proofs-v1.0.0.zip
Files
(41.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:43a2c76b4bcbd6a6e6f33764bd1e78e3
|
41.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/TobiasKappe/ka-fmp-proofs/tree/v1.0.0 (URL)