OAI/Computability/FourierCircuit/
1733 declarations, 0 contain sorry, 0 declared as axioms; 51 files
Files
- AmplificationMaster.lean 28 declarations
- Boundary.lean 39 declarations
- BoundaryActiveCircuit.lean 14 declarations
- CascadeLimit.lean 24 declarations
- CascadeWord.lean 45 declarations
- CircuitCost.lean 34 declarations
- CircuitExtensions.lean 75 declarations
- ClearedCircuit.lean 23 declarations
- ComparisonRename.lean 45 declarations
- Core.lean 10 declarations
- DiagonalBlocks.lean 19 declarations
- DisplacementKernel.lean 25 declarations
- FFTCircuit.lean 18 declarations
- FiniteSeparation.lean 19 declarations
- GraphBlocks.lean 31 declarations
- InventoryValidity.lean 8 declarations
- LinearDAG.lean 34 declarations
- LiveSectors.lean 17 declarations
- Main.lean 20 declarations
- MatrixRelabel.lean 46 declarations
- MonomialFeedback.lean 43 declarations
- MonomialTools.lean 42 declarations
- MultiWord.lean 47 declarations
- PackedSchedule.lean 23 declarations
- PairFamilies.lean 30 declarations
- ParameterAlgebra.lean 34 declarations
- PiTensor.lean 50 declarations
- PivotAlgebra.lean 36 declarations
- PivotJoin.lean 52 declarations
- PolynomialClearing.lean 29 declarations
- PortMatrices.lean 43 declarations
- PositiveReach.lean 36 declarations
- Prices.lean 31 declarations
- RationalClearing.lean 33 declarations
- RawPositive.lean 45 declarations
- RawWordBound.lean 41 declarations
- RectStableAlgebra.lean 31 declarations
- Shears.lean 36 declarations
- SignedPrice.lean 67 declarations
- SlotAssembly.lean 53 declarations
- SparseShear.lean 43 declarations
- SparseSpectral.lean 42 declarations
- StreamSeries.lean 50 declarations
- SumFramed.lean 23 declarations
- SymmetricLaplacian.lean 38 declarations
- TensorCostAlgebra.lean 33 declarations
- TensorTools.lean 26 declarations
- ToeplitzCross.lean 32 declarations
- Triangular.lean 26 declarations
- WordScheduling.lean 34 declarations
- Words.lean 10 declarations