Published June 1, 2022
| Version v3
Software
Open
Coq development for "Later Credits: Resourceful Reasoning for the Later Modality"
Creators
- 1. MPI-SWS
- 2. New York University
- 3. MIT CSAIL
- 4. Radboud University Nijmegen
- 5. Aarhus University
Description
This is the artifact for the ICFP'22 paper “Later Credits: Resourceful Reasoning for the Later Modality”. It contains the Coq development mechanizing the results of the paper.
Files
later-credits-artifact.zip
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c9ab77b355034a2324fe51ff5dc2831c
|
2.0 GB | Preview Download |