C

Category Theory for ZFC in HOL

Elements of the foundations of category theory formalized in the object logic ZFC in HOL of the formal proof assistant Isabelle