1 problem

Let $A$ be a set of atoms, let $b$ be a test, and let $\mathsf{SGKAT}$ be the cyclic proof system for Guarded Kleene Algebra with Tests described in the paper. Let…