Compression for Coinductive Rewriting and the Cut-Elimination of Non-Wellfounded Proofs


This is a companion discussion topic for the original entry at https://arxiv.org/abs/2510.08420