Follow
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. (arXiv:2012.07833v1 [cs.CC]) http://arxiv.org/abs/2012.07833
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. (arXiv:2012.07833v1 [cs.CC]) http://arxiv.org/abs/2012.07833