Published 2023
| Version v2
Software
Open
Nominal Recursors as Epi-Recurors (Mechanized Proofs Artifact)
Description
This is the Isabelle mechanization associated to the POPL 2024 paper "Nominal Recursors as Epi-Recursors". The formal proofs are located in the archive isabelle_nominal_recursors_and_corecursors.zip . They can be processed with Isabelle2023, available for download from https://isabelle.in.tum.de/ . A version packaged for macOS installation downloaded from that website, Isabelle2023_macos.tar.gz , is also included.
Files
isabelle_nominal_recursors_and_corecursors.zip
Files
(920.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f36a9d896803b8a34a01450c0dfd0186
|
918.6 MB | Download |
|
md5:f22136a7dc3375caf15e3991c5473278
|
1.7 MB | Preview Download |