`OAI/Computability/PerfectCompleteness/`

12394 declarations, 0 contain sorry, 0 declared as axioms; 581 files

Folders

Algebra/ 31 files, 448 declarations
Construction/ 52 files, 899 declarations
Decoding/ 84 files, 1388 declarations
Foundations/ 137 files, 2942 declarations
Machines/ 139 files, 4531 declarations
Reduction/ 44 files, 743 declarations
Repetition/ 21 files, 376 declarations
Sampling/ 70 files, 1038 declarations

Files

Main.lean 18 imports, no declarations
Model.lean 27 declarations
Theorem11.lean 2 declarations