Robinson Callou
Robinson Callou presented on 'Towards a Proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic' at LSFA 2022.
Robinson Callou presented on 'Towards a Proof in Lean about the Horizontal Compression of Dag-Like Derivations in Minimal Purely Implicational Logic' at LSFA 2022.