Erratum to: Interactive Theorem Proving.

Jeremy Avigad, Assia Mahboubi

Browse the full ITP paper archive.