`OAI/Computability/DegreeRigidity/`

6398 declarations, 0 contain sorry, 0 declared as axioms; 975 files

Folders

CohenForcing/ 108 files, 670 declarations
Computability/ 73 files, 611 declarations
Constructibility/ 101 files, 473 declarations
Effective/ 111 files, 997 declarations
OrdinalCodes/ 105 files, 676 declarations
Representation/ 115 files, 515 declarations
SetModels/ 273 files, 1780 declarations
Syntax/ 87 files, 665 declarations

Files

Main.lean 3 declarations
Model.lean 8 declarations