Published March 9, 2023
| Version v0.2
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
Files
(2.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:78e798df1e0c718915b84b84a4198b25
|
2.1 GB | Download |
Additional details
Funding
- Swiss National Science Foundation
- A Foundational Verifier 200021_197288