Published August 10, 2024
| Version v2.0.0
Software
Open
An Elementary Proof of the FMP for Kleene Algebra (Coq Formalization)
Authors/Creators
Description
Coq formalization accompanying https://arxiv.org/abs/2212.10931
Files
ka-fmp-proofs-2.0.0.zip
Files
(43.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:a015e5bb58d78e0fb14750cdeb0af711
|
43.8 kB | Preview Download |
Additional details
Related works
- Is identical to
- https://github.com/TobiasKappe/ka-fmp-proofs/tree/v2.0.0 (URL)
Software
- Repository URL
- https://github.com/TobiasKappe/ka-fmp-proofs
- Programming language
- Coq