Isabelle/HOL theory files companions of the IJCAR 2026 paper "Towards Term-based Verification of Diagrammatic Equivalence"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Noé Delorme, Sophie Tourret
DOI: 10.5281/zenodo.20294284
Cited by: 1

Abstract

These files are the Isabelle/HOL proofs companion to the IJCAR 2026 paper "Towards Term-based Verification of Diagrammatic Equivalence". They contained machine-checkable proofs of various results from the paper. Read the README file for details of which results exactly are included and to find out how the paper and the files are connected, and how to verify them using Isabelle/HOL.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
19 May 2026
Language
EN