OAI/Combinatorics/VariableWL/
3228 declarations, 0 contain sorry, 0 declared as axioms; 61 files
Files
- Affine.lean 47 declarations
- AffineCatalog.lean 59 declarations
- Binary.lean 42 declarations
- BinaryMachine.lean 43 declarations
- BlockCatalog.lean 108 declarations
- BlockCoordinates.lean 37 declarations
- BlockDescriptor.lean 69 declarations
- BlockExtensions.lean 35 declarations
- BlockGame.lean 37 declarations
- BlockImages.lean 38 declarations
- BlockListing.lean 112 declarations
- Blocks.lean 50 declarations
- BoundedLoop.lean 46 declarations
- CellularCatalog.lean 78 declarations
- CellularCircuit.lean 32 declarations
- CellularListing.lean 100 declarations
- CertifiedRecipe.lean 109 declarations
- Circuit.lean 66 declarations
- CircuitCatalog.lean 70 declarations
- Completeness.lean 50 declarations
- Coordinates.lean 31 declarations
- Decision.lean 46 declarations
- Descriptor.lean 61 declarations
- Encoding.lean 51 declarations
- ExactProjection.lean 45 declarations
- ExponentialRecipe.lean 40 declarations
- GeneralGame.lean 40 declarations
- GeneralReduction.lean 32 declarations
- MachineCellular.lean 75 declarations
- MachineReduction.lean 62 declarations
- MachineSimulation.lean 48 declarations
- MatrixOutput.lean 68 declarations
- Model.lean 27 declarations
- MultiStack.lean 60 declarations
- NumericProgram.lean 92 declarations
- NumericRefinement.lean 73 declarations
- OneHead.lean 31 declarations
- PolyRecipe.lean 80 declarations
- PortGame.lean 20 declarations
- PortGraph.lean 30 declarations
- PortListing.lean 73 declarations
- PrefixAlphabet.lean 72 declarations
- PrefixDescriptor.lean 46 declarations
- PrefixGame.lean 38 declarations
- PrefixListing.lean 58 declarations
- PrefixParts.lean 58 declarations
- PrefixWiring.lean 63 declarations
- Procedure.lean 43 declarations
- ProductCellular.lean 78 declarations
- ProductImages.lean 30 declarations
- Program.lean 49 declarations
- Recipe.lean 41 declarations
- Refinement.lean 79 declarations
- RefinementTable.lean 40 declarations
- Stack.lean 42 declarations
- StackSimulation.lean 44 declarations
- SubcubicGame.lean 24 declarations
- Subdivision.lean 25 declarations
- TypedGame.lean 34 declarations
- UnaryPower.lean 33 declarations
- Wrapping.lean 18 declarations