HomePhabricator

new entry: ZFC_in_HOL by Paulson

Description

new entry: ZFC_in_HOL by Paulson

Details

Committed
Rene Thiemann <rene.thiemann@uibk.ac.at>Nov 4 2019, 10:25 AM
Parents
rAFP9039e7a9d985: regenerate website
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb982365e129e: new entry: ZFC_in_HOL by Paulson.Nov 4 2019, 10:25 AM