Cardinals in Isabelle/HOL.

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Browse the full ITP paper archive.