Archived: This repository is integrated into Foundation now.
Formalization of incompleteness theorem related results. This project depends on Foundation and Arithmetization.
This project is supported by Proxima Technology.
This repository was archived by the owner on Mar 8, 2025. It is now read-only.
FormalizedFormalLogic/Incompleteness
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|