Published 2024
| Version v3
Software
Open
Artifact for FM Paper: Proving Functional Program Equivalence via Directed Lemma Synthesis
-
1.
Peking University
-
2.
Zhejiang University
Files
artifact.zip
Files
(1.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:794377e9190717bcb3ac27c6a922edb4
|
1.4 GB | Preview Download |