Incompleteness
Archived: This repository is integrated into Foundation now.
Formalization of incompleteness theorem related results. This project depends on Foundation and Arithmetization.
Sponsor
This project is supported by Proxima Technology.
incompleteness
Formalize Incompleness Theorem Related Results