Published March 9, 2023
| Version v0.4
Software
Open
Proving and Disproving Equivalence of Functional Programming Assignments (Artifact)
Creators
Description
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of Functional Programming Assignments" by Anonymous Authors.
Files
README.md
Files
(2.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:3c675c4df7a5a64680489fa8f34c10e5
|
2.1 GB | Download |
|
md5:f36759fe2391f45f2230dc2f6436eab2
|
13.3 kB | Preview Download |
Additional details
Funding
- A Foundational Verifier 200021_197288
- Swiss National Science Foundation