Algebraic Proof Assistants in HOL.

Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding

Browse the full MPC paper archive.