Incompleteness
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
Formalization of incompleteness theorem related results. This project depends on Foundation and Arithmetization.
This project is supported by Proxima Technology.