A New and Formalized Proof of Abstract Completion.

Nao Hirokawa, Aart Middeldorp, Christian Sternagel

Browse the full ITP paper archive.