Published July 25, 2025
| Version v8
Software
Open
Liberating Merges via Apartness and Guarded Subtyping (Artifact)
Authors/Creators
Files
Coq-and-Appendix.zip
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f7923f64eac142ed7a8c7874f265d2e8
|
2.0 GB | Download |
|
md5:fb1d7e08351691b16c69dd269b4aec99
|
859.3 kB | Preview Download |
Additional details
Dates
- Available
-
2025-06-20