OAI/Computability/WLIdentification/
1631 declarations, 0 contain sorry, 0 declared as axioms; 67 files
Files
- AcceptingBroadcast.lean 27 declarations
- AcceptingMates.lean 20 declarations
- AddressArithmetic.lean 18 declarations
- AffineIncidence.lean 47 declarations
- AffinePresentation.lean 20 declarations
- AffineTranslations.lean 26 declarations
- BijectionGames.lean 11 declarations
- BinaryAddresses.lean 37 declarations
- BoundedWords.lean 30 declarations
- BufferedCircuits.lean 56 declarations
- CarryPresentation.lean 9 declarations
- CellularCircuits.lean 32 declarations
- CellularPresentation.lean 15 declarations
- CircuitCodes.lean 17 declarations
- CircuitForms.lean 11 declarations
- CircuitPresentation.lean 23 declarations
- CircuitReduction.lean 39 declarations
- ConstraintSchemas.lean 32 declarations
- CycleSums.lean 7 declarations
- DimensionDecider.lean 31 declarations
- ExponentialComputation.lean 15 declarations
- ExpressionBounds.lean 19 declarations
- ExpressionCompiler.lean 22 declarations
- FiniteEncoding.lean 28 declarations
- FinitePresentation.lean 32 declarations
- FiniteRefinement.lean 31 declarations
- GlobalSolvability.lean 37 declarations
- GraphEnumeration.lean 24 declarations
- Hardness.lean 16 declarations
- LeafPresentation.lean 14 declarations
- LinearExtensions.lean 25 declarations
- LocalImages.lean 42 declarations
- LocalPresentation.lean 19 declarations
- MachineCells.lean 37 declarations
- MachinePresentation.lean 6 declarations
- MachineReduction.lean 36 declarations
- Main.lean 1 declarations
- MateReconstruction.lean 31 declarations
- Model.lean 32 declarations
- NumericKernel.lean 30 declarations
- NumericRefinement.lean 42 declarations
- PolynomialArithmetic.lean 22 declarations
- PolynomialWords.lean 36 declarations
- PresentationArithmetic.lean 54 declarations
- PrivateLeaves.lean 17 declarations
- ProductPresentation.lean 6 declarations
- Refinement.lean 15 declarations
- RefinementCorrectness.lean 32 declarations
- RejectingMates.lean 13 declarations
- RingCodes.lean 17 declarations
- RingLegality.lean 18 declarations
- RingMembership.lean 10 declarations
- RingPresentation.lean 31 declarations
- RowOffsets.lean 65 declarations
- ScalarExtension.lean 28 declarations
- SchemaPresentation.lean 20 declarations
- SeedBits.lean 15 declarations
- SeedLetter.lean 5 declarations
- StableColors.lean 7 declarations
- StackCommands.lean 19 declarations
- StackMachines.lean 35 declarations
- TapeCompiler.lean 19 declarations
- TypedArithmetic.lean 8 declarations
- TypedCases.lean 11 declarations
- WordArithmetic.lean 37 declarations
- WordCommands.lean 24 declarations
- WordExpressions.lean 20 declarations