Edward Hermann Hæusler

On the Coverage Property of a Derivation Compression Algorithm

2023

We further elaborate, with a short example, on the set of compression rules and the derivation compression algorithm presented in [Haeusler et al. 2023]. We also argue a proof, done with the Lean theorem prover, …