incompleteness

There are 7 repositories under incompleteness topic.

coq-community/goedel
Archived since the contents have been moved to the Hydras & Co. repository
Language:Coq28 7 45
Evoniuk/Godels-Incompleteness-Theorems
A detailed explanation of one of the most important results in the history of math.
Language:HTML7 2 02
INGV/RESTORE
Missing earthquake data reconstruction in the space-time-magnitude domain
Language:Python7 1 01
FormalizedFormalLogic/Incompleteness
Formalize Incompleness Theorem Related Results
Language:Lean6 0 30
SnO2WMaN/incompleteness.txt
不完全性定理に関する諸々のメモ
Language:Typst3 2 0
SnO2WMaN/lean4-modallogic
Formalization of Modal Logic in Lean 4
Language:Lean3 2 0
IcePulverizer/Hx
0 1 00