Progress in the Independent Certification of Mizar Mathematical Library in Isabelle.

Cezary Kaliszyk, Karol Pak

Browse the full FedCSIS paper archive.