incompleteness topic
List
incompleteness repositories
goedel
28
Stars
4
Forks
Watchers
Archived since the contents have been moved to the Hydras & Co. repository
lean4-logic
36
Stars
4
Forks
Watchers
Lean4 Logic Formalization