Published June 3, 2021
| Version v1.1
Software
Open
clucas26e4/ramics_archimedean: v1.1
Authors/Creators
Description
Coq formalization for the article "Free Modal Riesz Spaces are Archimedean: a Syntactic Proof"
Files
clucas26e4/ramics_archimedean-v1.1.zip
Additional details
Related works
- Is supplement to
- https://github.com/clucas26e4/ramics_archimedean/tree/v1.1 (URL)