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.