Published June 5, 2024 | Version v1
Software Open

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs - Coq Artifact

Creators

  • 1. ROR icon Aarhus University
  • 2. ROR icon New York University

Description

This artifact contains the Coq development accompanying the ICFP 2024 paper "Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs - Coq Artifact".

Files

coq-eris.zip

Files (2.5 GB)

Name Size Download all
md5:b304dc958207dec5898b310563497132
347.5 kB Preview Download
md5:2da42c38b0b5620cad227dd44a3f207f
2.5 GB Download
md5:28dcdffa82061c3d95a1722b3ec61f6f
446 Bytes Download
md5:114ec3c8e15478cf79b605f2139dbef6
1.2 kB Preview Download

Additional details

Related works

Is supplement to
Conference proceeding: 10.1145/3674635 (DOI)
Preprint: 10.48550/arXiv.2404.14223 (DOI)

Software

Repository URL
https://github.com/logsem/clutch
Programming language
Coq