Software Open Access

Coq development for "Later Credits: Resourceful Reasoning for the Later Modality"

Spies, Simon; Gäher, Lennard; Tassarotti, Joseph; Jung, Ralf; Krebbers, Robbert; Birkedal, Lars; Dreyer, Derek

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 (2.0 GB)
Name Size
later-credits-artifact.zip
md5:c9ab77b355034a2324fe51ff5dc2831c
2.0 GB Download
81
6
views
downloads
All versions This version
Views 8138
Downloads 61
Data volume 12.0 GB2.0 GB
Unique views 6127
Unique downloads 61

Share

Cite as