OAI/Computability/WeisfeilerLeman/
2112 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- Arithmetic.lean 67 declarations
- BoundedRun.lean 44 declarations
- Circuits.lean 66 declarations
- Colors.lean 57 declarations
- Consistency.lean 63 declarations
- Consumer.lean 45 declarations
- Diagonal.lean 38 declarations
- Digits.lean 67 declarations
- Enumeration.lean 33 declarations
- Expressions.lean 44 declarations
- Extension.lean 46 declarations
- Frames.lean 42 declarations
- Gadgets.lean 52 declarations
- GraphFormula.lean 57 declarations
- Interpreter.lean 31 declarations
- Main.lean 3 declarations
- Marking.lean 34 declarations
- MatrixBounds.lean 40 declarations
- MatrixWriter.lean 48 declarations
- Model.lean 52 declarations
- Offsets.lean 21 declarations
- Padding.lean 37 declarations
- Pebbles.lean 30 declarations
- Predicates.lean 61 declarations
- Programs.lean 46 declarations
- RAMBounds.lean 37 declarations
- RAMInstruction.lean 85 declarations
- RAMMemory.lean 59 declarations
- RAMSimulation.lean 44 declarations
- Readouts.lean 39 declarations
- Simulation.lean 37 declarations
- SparseSearch.lean 66 declarations
- SparseStore.lean 70 declarations
- Stacks.lean 64 declarations
- Sweep.lean 55 declarations
- Tableau.lean 86 declarations
- TapeCompiler.lean 39 declarations
- TapePair.lean 57 declarations
- Transducer.lean 55 declarations
- Turing.lean 49 declarations
- Universal.lean 59 declarations
- Wrapping.lean 43 declarations
- Writer.lean 44 declarations