Published 2023 | Version v2
Software Open

Nominal Recursors as Epi-Recurors (Mechanized Proofs Artifact)

Creators

  • 1. ROR icon University of Sheffield

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

Additional details

Funding

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT) EP/X015114/1
Engineering and Physical Sciences Research Council