HomePhabricator

metadata and sitegen for ZFC_in_HOL

Description

metadata and sitegen for ZFC_in_HOL

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP3eeac1f452a6: metadata and sitegen for ZFC_in_HOL.Nov 4 2019, 10:38 AM