Transforming and Analyzing Proofs in the CERES-System.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Browse the full LPAR paper archive.