There is a newer version of the record available.

Published June 1, 2022 | Version v1
Software Open

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

Authors/Creators

  • 1. Anonymous

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
md5:7288ab251cbd89a34fd05c6f97d9b068
2.0 GB Preview Download