Formalizing Almost Development Closed Critical Pairs
This page accompanies a paper that will be presented at
ITP 2023.
Isabelle/IsaFoR sessions
Here you find HTML presentations of the relevant parts of IsaFoR.
Confluence results
Results about proof terms for term rewriting
Full IsaFoR/CeTA
The complete IsaFoR repository can be browsed/downloaded
here.
(The link points to the version at the point of writing this paper.)