Published April 9, 2023 | Version v1.0
Software Open

Proving and Disproving Equivalence of Functional Programming Assignments (Artifact)

Creators

  • 1. EPFL

Description

This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of Functional Programming Assignments" by Dragana Milovančević and Viktor Kunčak.

Files

README.md

Files (2.1 GB)

Name Size Download all
md5:49da87b53e4137b8848c04991844c6b8
2.1 GB Download
md5:9f46460a4ab036b139eb73d8e645d28e
13.5 kB Preview Download

Additional details

Funding

Swiss National Science Foundation
A Foundational Verifier 200021_197288