Cardinals in Isabelle HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 - Ordinal arithmetic - Document - PDFSEARCH.IO

First Page	Meta Content
	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Document Date: 2015-01-25 16:18:54 Open Document File Size: 182,79 KB Share Result on Facebook

Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2Add to Reading List