Description
This page accompanies a paper that will be presented at CPP 2023.
We present a formalization (in Isabelle/HOL, on top of IsaFoR) of the development closedness critetion for left-linear term rewrite systems.
This page accompanies a paper that will be presented at CPP 2023.
We present a formalization (in Isabelle/HOL, on top of IsaFoR) of the development closedness critetion for left-linear term rewrite systems.