Formalization of Arithmetization of Metamathematics.
formalmathematicslab / arithmetization Goto Github PK
View Code? Open in Web Editor NEWThis project forked from formalizedformallogic/arithmetization
Formalization of Arithmetization of Metamathematics