Published June 6, 2024 | Version v1
Software Open

ICFP 2024 Artefact: Dependent Ghosts Have a Reflection for Free

Authors/Creators

  • 1. ROR icon Inria Saclay - Île de France
  • 2. ROR icon École Normale Supérieure Paris-Saclay
  • 3. ROR icon Laboratoire Méthodes Formelles

Description

Coq formalisation of the submission 'Dependent Ghosts Have a Reflection for Free'.

 

A README is provided in the zip file. It also explains how to run the VM provided as a QEMU file (artefact.qcow2).

Files

ghost-reflection.zip

Files (4.1 GB)

Name Size
md5:87131404bf6968bf6f6e8eca40d3e4bc
4.1 GB Download
md5:d0ae06f8b8399efb01e1389849ce1af8
665.2 kB Preview Download

Additional details

Software

Repository URL
https://github.com/TheoWinterhalter/ghost-reflection
Programming language
Coq
Development Status
Active