Recording Completion for Certificates in Equational Reasoning.

Thomas Sternagel, Sarah Winkler, Harald Zankl

Browse the full CPP paper archive.