System Description: The Proof Transformation System CERES.

Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo

Browse the full CADE paper archive.