GitHub repository: FormalizedFormalLogic/Incompleteness
Primary language: Lean
Description: Formalize Incompleness Theorem Related Results