`OAI/Computability/QuantumFactoring/`

5878 declarations, 0 contain sorry, 0 declared as axioms; 552 files

Files

AIGBitArithmeticEmission.lean 17 declarations
AIGBounds.lean 19 declarations
AIGCompiler.lean 20 declarations
AIGDivisionBounds.lean 20 declarations
AIGInputs.lean 8 declarations
AIGNetworkEmission.lean 10 declarations
AIGNetworkProcedure.lean 13 declarations
AKSBounds.lean 6 declarations
AKSCriteria.lean 3 declarations
AKSNetworks.lean 12 declarations
ActualDivisorPolynomial.lean 8 declarations
AdaptivePrepared.lean 4 declarations
AppendRegister.lean 7 declarations
ArithmeticBounds.lean 4 declarations
ArithmeticPredicates.lean 18 declarations
ArithmeticSyntaxEmission.lean 34 declarations
AuxiliaryData.lean 14 declarations
AuxiliaryProducer.lean 11 declarations
AuxiliaryTree.lean 21 declarations
Basic.lean 27 declarations
BinLabelCircuit.lean 7 declarations
BinaryRoots.lean 7 declarations
BitArithmetic.lean 11 declarations
BitArithmeticDivision.lean 9 declarations
BitEncoding.lean 5 declarations
BitNumbers.lean 2 declarations
BitResidue.lean 8 declarations
BitStackAdder.lean 22 declarations
BitStackAssociation.lean 5 declarations
BitStackBasicProcedures.lean 4 declarations
BitStackBinaryBasics.lean 7 declarations
BitStackBooleans.lean 8 declarations
BitStackBoundedPrime.lean 3 declarations
BitStackBoundedUnary.lean 5 declarations
BitStackChoice.lean 10 declarations
BitStackComposition.lean 8 declarations
BitStackConstants.lean 5 declarations
BitStackDependentChoice.lean 3 declarations
BitStackDivision.lean 16 declarations
BitStackFold.lean 7 declarations
BitStackFrames.lean 13 declarations
BitStackGCD.lean 11 declarations
BitStackIncrement.lean 13 declarations
BitStackIntegers.lean 18 declarations
BitStackIteration.lean 4 declarations
BitStackListCode.lean 15 declarations
BitStackListFlatten.lean 3 declarations
BitStackListFold.lean 6 declarations
BitStackListIndex.lean 4 declarations
BitStackListLength.lean 2 declarations
BitStackListMapIdx.lean 2 declarations
BitStackListMapWith.lean 2 declarations
BitStackListOps.lean 7 declarations
BitStackListWords.lean 4 declarations
BitStackLists.lean 8 declarations
BitStackMultiplier.lean 12 declarations
BitStackNaturals.lean 6 declarations
BitStackOptions.lean 9 declarations
BitStackPowers.lean 6 declarations
BitStackProcedures.lean 5 declarations
BitStackProducts.lean 4 declarations
BitStackPrograms.lean 21 declarations
BitStackQuotation.lean 15 declarations
BitStackRationalDivision.lean 2 declarations
BitStackRationalFloor.lean 1 declarations
BitStackRationalPower.lean 3 declarations
BitStackRationals.lean 13 declarations
BitStackRelabel.lean 7 declarations
BitStackSubtractor.lean 15 declarations
BitStackSumInjection.lean 2 declarations
BitStackSums.lean 2 declarations
BitStackTabulate.lean 5 declarations
BitStackTestBit.lean 2 declarations
BitStackUnary.lean 9 declarations
BitStackWords.lean 6 declarations
BooleanAlgebra.lean 36 declarations
BooleanCircuit.lean 20 declarations
BooleanFold.lean 6 declarations
BooleanNetwork.lean 25 declarations
BooleanNetworkFurther.lean 13 declarations
BooleanOracle.lean 8 declarations
BooleanProgram.lean 18 declarations
BooleanVector.lean 7 declarations
BoundedAKS.lean 10 declarations
BoundedStack.lean 11 declarations
CRTLevels.lean 12 declarations
CanonicalResidueCircuit.lean 14 declarations
CanonicalTableEmission.lean 4 declarations
CanonicalTransition.lean 2 declarations
CanonicalWords.lean 6 declarations
ChildQueue.lean 16 declarations
ChildQueueBounds.lean 6 declarations
ChildQueueCorrect.lean 6 declarations
ChildQueueEmission.lean 5 declarations
CircuitBooleanEmission.lean 15 declarations
CircuitCleanEmission.lean 4 declarations
CircuitEmissionBasic.lean 17 declarations
CircuitEmissionEncoding.lean 16 declarations
CircuitEmissionModel.lean 26 declarations
CircuitEncodingSize.lean 6 declarations
CircuitFinalEmission.lean 5 declarations
CircuitPreparationEmission.lean 11 declarations
CircuitProgramEmission.lean 26 declarations
CircuitRecursionEmission.lean 3 declarations
CircuitSemantics.lean 23 declarations
CleanPermutation.lean 8 declarations
CleanPermutationEmission.lean 7 declarations
CleanTranslation.lean 3 declarations
ClosedLevelCircuit.lean 8 declarations
CoherentSampling.lean 6 declarations
CompletedOrderSlots.lean 17 declarations
CompletedSplit.lean 14 declarations
CompletionEmission.lean 8 declarations
CompletionFilterCircuit.lean 9 declarations
CompletionFilterPolynomial.lean 8 declarations
CompletionPredicateCircuit.lean 3 declarations
CompletionPredicateEmission.lean 4 declarations
CompletionPreparationEmission.lean 2 declarations
ComponentLevelEmission.lean 4 declarations
ComponentPhiCircuit.lean 9 declarations
ConcreteExpressionResources.lean 3 declarations
ContinuedFractionCircuit.lean 18 declarations
ContinuedFractionEmission.lean 8 declarations
ContinuedFractionPairs.lean 5 declarations
ContinuedFractionRecovery.lean 29 declarations
ControlledHadamard.lean 5 declarations
ControlledTranslation.lean 17 declarations
ControllerQueries.lean 5 declarations
CoveringPowerEmission.lean 11 declarations
CyclicAlgebra.lean 13 declarations
CyclicCircuit.lean 12 declarations
CyclicConstants.lean 11 declarations
CyclicEmission.lean 3 declarations
CyclicPowerCircuit.lean 25 declarations
CyclicPowerEmission.lean 3 declarations
CyclicPrimality.lean 1 declarations
CyclicTestBounds.lean 6 declarations
CyclicTestCircuit.lean 11 declarations
CyclicTestEmission.lean 6 declarations
DescendingFilter.lean 10 declarations
DescendingFilterEmission.lean 6 declarations
DescendingPrefixAutomatic.lean 1 declarations
DescendingStepEmission.lean 1 declarations
DistinctProductCircuit.lean 6 declarations
DistinctProductEmission.lean 3 declarations
DivisorData.lean 19 declarations
DyadicCompletion.lean 22 declarations
DynamicMajorantExpressions.lean 20 declarations
Emission.lean 4 declarations
EmissionBoundedRecursion.lean 4 declarations
EmissionCombinators.lean 25 declarations
EmissionDependentLists.lean 3 declarations
EmissionFurther.lean 3 declarations
EmissionFurther2.lean 6 declarations
EmissionGeneralStages.lean 1 declarations
EmissionLengthBounds.lean 6 declarations
EmissionLists.lean 8 declarations
EmissionPolynomialUnary.lean 5 declarations
Emits.lean 6 declarations
EncodedStates.lean 10 declarations
Exactness.lean 37 declarations
ExactnessFurther.lean 11 declarations
ExactnessFurther2.lean 6 declarations
ExpressionAt.lean 8 declarations
ExpressionPostfix.lean 25 declarations
ExpressionPowerEmission.lean 12 declarations
ExpressionPredicates.lean 5 declarations
ExpressionResources.lean 28 declarations
ExpressionSharing.lean 5 declarations
ExpressionSyntaxEmission.lean 23 declarations
ExpressionTemplateCircuit.lean 7 declarations
ExpressionTemplateEmission.lean 7 declarations
ExpressionTokenProcedure.lean 12 declarations
FactorController.lean 13 declarations
FactorEncoding.lean 9 declarations
FactorGuess.lean 11 declarations
FactorSplitting.lean 6 declarations
FactorVerifier.lean 20 declarations
FactorVerifierBounds.lean 9 declarations
FactorVerifierEmission.lean 6 declarations
FactoringCircuit.lean 11 declarations
FactoringInputLayout.lean 8 declarations
FactoringRelabel.lean 7 declarations
FairLabelMass.lean 4 declarations
FairOracle.lean 9 declarations
FavorableSplit.lean 7 declarations
FilterExpressionSyntax.lean 28 declarations
FinalPolynomialResources.lean 6 declarations
FinalUniformity.lean 3 declarations
FirstProperEmission.lean 2 declarations
FixedSplit.lean 11 declarations
FlatDataPredicates.lean 8 declarations
FlatDataView.lean 16 declarations
FlatLookupCircuit.lean 8 declarations
FlatVerifiedData.lean 11 declarations
GateSemantics.lean 23 declarations
GcdCircuit.lean 12 declarations
GcdEmission.lean 3 declarations
HadamardAction.lean 6 declarations
HardCofactor.lean 1 declarations
HardFilterCircuit.lean 2 declarations
HornerEncoding.lean 7 declarations
InitialOrderState.lean 14 declarations
IntegerExpressions.lean 22 declarations
LabelRecoveryCircuit.lean 9 declarations
LabelRecoveryEmission.lean 3 declarations
LabelValidationCircuit.lean 3 declarations
LevelBounds.lean 3 declarations
LevelCounts.lean 7 declarations
LevelIndependence.lean 7 declarations
ListSamplerCircuit.lean 17 declarations
ListSamplerEmission.lean 10 declarations
ListTransition.lean 7 declarations
LoggedExecution.lean 15 declarations
MachineInitialization.lean 4 declarations
MachineWiringEmission.lean 5 declarations
Main.lean 1 declarations
MajorantTemplateEmission.lean 23 declarations
MaskedPreparation.lean 11 declarations
MinimumCandidateCircuit.lean 8 declarations
ModularMultiply.lean 6 declarations
ModularPower.lean 24 declarations
ModularSumEmission.lean 1 declarations
NativeAIGAdd.lean 10 declarations
NativeAIGAddBounded.lean 19 declarations
NativeAIGAddProcedure.lean 18 declarations
NativeAIGAddWrapper.lean 19 declarations
NativeAIGBinaryInputs.lean 13 declarations
NativeAIGBoolean.lean 8 declarations
NativeAIGBounds.lean 20 declarations
NativeAIGCarry.lean 6 declarations
NativeAIGCarryProcedure.lean 20 declarations
NativeAIGDiv.lean 6 declarations
NativeAIGDivBounded.lean 16 declarations
NativeAIGDivOperations.lean 19 declarations
NativeAIGDivProcedure.lean 26 declarations
NativeAIGDivWrapper.lean 23 declarations
NativeAIGEqProcedure.lean 13 declarations
NativeAIGExtend.lean 13 declarations
NativeAIGFullAdder.lean 7 declarations
NativeAIGGateProcedure.lean 4 declarations
NativeAIGIf.lean 8 declarations
NativeAIGIfProcedure.lean 20 declarations
NativeAIGInputs.lean 8 declarations
NativeAIGKnownProcedure.lean 6 declarations
NativeAIGMod.lean 2 declarations
NativeAIGModWrapper.lean 8 declarations
NativeAIGModel.lean 23 declarations
NativeAIGMul.lean 8 declarations
NativeAIGMulBounded.lean 13 declarations
NativeAIGMulProcedure.lean 21 declarations
NativeAIGMulWrapper.lean 28 declarations
NativeAIGNot.lean 6 declarations
NativeAIGProcedures.lean 20 declarations
NativeAIGShift.lean 10 declarations
NativeAIGSub.lean 10 declarations
NativeAIGSubProcedure.lean 12 declarations
NativeAIGVector.lean 13 declarations
NativeAIGVectorBounds.lean 12 declarations
NativeAIGZipFold.lean 13 declarations
NativeAIGZipFoldProcedure.lean 23 declarations
NaturalExpressionCircuit.lean 8 declarations
NaturalExpressions.lean 10 declarations
NetworkAt.lean 18 declarations
NetworkAtArithmetic.lean 9 declarations
NetworkCanonicalEmission.lean 7 declarations
NetworkChoiceEmission.lean 1 declarations
NetworkDependentEmission.lean 3 declarations
NetworkEmissionBasic.lean 25 declarations
NetworkEmissionBounds.lean 22 declarations
NetworkEmissionCombinators.lean 13 declarations
NetworkEmissionModel.lean 21 declarations
NetworkEmissionPack.lean 25 declarations
NetworkEmissionPair.lean 6 declarations
NetworkEmissionProcedures.lean 25 declarations
NetworkEmissionRewire.lean 15 declarations
NetworkEmissionVector.lean 18 declarations
NetworkEmissionWords.lean 18 declarations
NetworkExpressionEmission.lean 5 declarations
NetworkFiniteExpressionEmission.lean 3 declarations
NetworkFoldChoiceEmission.lean 8 declarations
NetworkIndexedEmission.lean 6 declarations
NetworkListEmission.lean 5 declarations
NetworkListOperationsEmission.lean 6 declarations
NetworkLoopEmission.lean 12 declarations
NetworkModularEmission.lean 5 declarations
NetworkModularPowerEmission.lean 2 declarations
NetworkPoly.lean 14 declarations
NetworkPolyResources.lean 2 declarations
NetworkPredicateEmission.lean 5 declarations
NetworkRecursionEmission.lean 1 declarations
NetworkResizeEmission.lean 4 declarations
NetworkSequenceEmission.lean 7 declarations
NetworkStackCompiler.lean 12 declarations
NodeControlBounds.lean 20 declarations
NodeControlCircuit.lean 29 declarations
NodeControlEmission.lean 14 declarations
NodeMachine.lean 2 declarations
NodeMachineEmission.lean 6 declarations
NodePreparationPolynomial.lean 11 declarations
NodeProgress.lean 8 declarations
NodeSplitMachine.lean 11 declarations
NodeStateBounds.lean 14 declarations
NodeStateCircuit.lean 25 declarations
NodeStateEmission.lean 14 declarations
NodeStateFailure.lean 1 declarations
NodeStateNil.lean 7 declarations
NodeVerifiedCircuit.lean 17 declarations
OccurrenceQueue.lean 17 declarations
OpsEmits.lean 2 declarations
OracleLayout.lean 13 declarations
OracleReadOnly.lean 14 declarations
OrderCandidateLaw.lean 12 declarations
OrderDecoderPolynomial.lean 5 declarations
OrderSampleCircuit.lean 18 declarations
OrderSamplerEmission.lean 12 declarations
OrderSamplerMass.lean 18 declarations
OrderTransition.lean 11 declarations
OrderTrial.lean 37 declarations
OrderTrialFurther.lean 48 declarations
OrderTrialFurther2.lean 58 declarations
OrderTrialLaw.lean 7 declarations
PackedEncoding.lean 5 declarations
PackedPrograms.lean 9 declarations
ParallelPreparation.lean 17 declarations
PerfectPowerCircuit.lean 11 declarations
PhaseOracle.lean 10 declarations
PhasePreparation.lean 9 declarations
PhasePreparationConnection.lean 8 declarations
PhysicalAmplification.lean 14 declarations
PhysicalCompletionOutput.lean 21 declarations
PhysicalDataLog.lean 7 declarations
PhysicalHistory.lean 7 declarations
PhysicalListEmission.lean 10 declarations
PhysicalListNetworks.lean 22 declarations
PhysicalListOutputEmission.lean 3 declarations
PhysicalListSlots.lean 25 declarations
PhysicalMachine.lean 27 declarations
PhysicalMachineMass.lean 6 declarations
PhysicalNodeCompletion.lean 2 declarations
PhysicalNodeEmission.lean 15 declarations
PhysicalNodeKernel.lean 14 declarations
PhysicalNodeLaunch.lean 6 declarations
PhysicalNodeOutput.lean 8 declarations
PhysicalNodeSafety.lean 4 declarations
PhysicalOrderDecoder.lean 10 declarations
PhysicalOrderEmission.lean 9 declarations
PhysicalOrderNetworks.lean 23 declarations
PhysicalOrderOutputEmission.lean 4 declarations
PhysicalOrderSlots.lean 13 declarations
PhysicalSplit.lean 26 declarations
PhysicalSplitDecoder.lean 16 declarations
PhysicalSplitDecoderEmission.lean 7 declarations
PhysicalSplitEmission.lean 14 declarations
PhysicalSplitLaunch.lean 11 declarations
PhysicalTreeCompletion.lean 4 declarations
PhysicalTreeEmission.lean 19 declarations
PhysicalTreeLaunch.lean 11 declarations
PhysicalTreeMachine.lean 25 declarations
PhysicalTreeMass.lean 6 declarations
PhysicalTreeQueue.lean 17 declarations
PhysicalTrialLaw.lean 10 declarations
PolyAt.lean 16 declarations
PolyBounds.lean 15 declarations
PolySchemaPoly.lean 22 declarations
PolynomialExpressionResources.lean 14 declarations
PolynomialExpressions.lean 14 declarations
PolynomialFilterExpressions.lean 39 declarations
PolynomialTemplateEmission.lean 14 declarations
PreparationPolynomial.lean 24 declarations
PreparedOracle.lean 11 declarations
Primality.lean 10 declarations
PrimalityArithmetic.lean 7 declarations
PrimalityAuxiliaryPrime.lean 5 declarations
PrimalityCorrectness.lean 8 declarations
PrimalityEmission.lean 12 declarations
PrimalityPolynomial.lean 12 declarations
PrimalityRootCount.lean 11 declarations
PrimeComponentCircuit.lean 6 declarations
PrimePowerLevels.lean 5 declarations
PrimeRecords.lean 2 declarations
Procedure.lean 5 declarations
ProcedureFurther.lean 2 declarations
ProductStates.lean 4 declarations
ProgressionEvaluation.lean 19 declarations
ProgressionExpressions.lean 28 declarations
ProgressionTemplateEmission.lean 12 declarations
ProperDivisorEmission.lean 7 declarations
ProvidedSplits.lean 12 declarations
QuantumCore.lean 36 declarations
QuarterConstantResources.lean 8 declarations
QuarterPreparation.lean 16 declarations
QuarterRetentionEmission.lean 6 declarations
QueueCoverage.lean 9 declarations
RationalConditionals.lean 16 declarations
RationalEmission.lean 11 declarations
RationalExpressionResources.lean 44 declarations
RationalExpressions.lean 25 declarations
RationalHeightResources.lean 18 declarations
RationalPowerCircuit.lean 12 declarations
RationalRounding.lean 11 declarations
RationalTemplateEmission.lean 5 declarations
RawDecoderPolynomial.lean 17 declarations
RawListRange.lean 1 declarations
RawTrialDecoder.lean 7 declarations
RawTrialDecoderEmission.lean 3 declarations
RawTrialFields.lean 17 declarations
RawTrialFieldsEmission.lean 10 declarations
RawTrialLabelCircuit.lean 10 declarations
RawTrialLabelEmission.lean 6 declarations
ReadOnlyCircuit.lean 6 declarations
RecordedHistory.lean 11 declarations
RecoveryPolynomial.lean 4 declarations
RegisterBasis.lean 8 declarations
RegisterCircuit.lean 12 declarations
RegisterEncoded.lean 2 declarations
RepeatedTrials.lean 8 declarations
RetainedArithmeticEmission.lean 11 declarations
RetainedCanonical.lean 9 declarations
RetainedComponentOrder.lean 3 declarations
RetainedFavorable.lean 5 declarations
RetainedFavorableCount.lean 3 declarations
RetainedFavorableEmission.lean 3 declarations
RetainedFavorablePolynomial.lean 5 declarations
RetainedFilterPolynomial.lean 13 declarations
RetainedListDummy.lean 2 declarations
RetainedListFilter.lean 8 declarations
RetainedListFilterEmission.lean 5 declarations
RetainedListRate.lean 2 declarations
RetainedNetworkAt.lean 12 declarations
RetainedNetworkPolynomial.lean 10 declarations
RetainedNodeEmission.lean 5 declarations
RetainedNodeFilter.lean 4 declarations
RetainedOrderFilter.lean 10 declarations
RetainedOrderFilterEmission.lean 6 declarations
RetainedOrderTest.lean 1 declarations
RetainedPrefixPolynomial.lean 7 declarations
RetainedQuarterFilter.lean 29 declarations
RetainedQuarterPolynomial.lean 12 declarations
RetainedRateExpression.lean 5 declarations
RetainedSplitFilter.lean 13 declarations
RetainedSplitFilterEmission.lean 5 declarations
RetainedSplitPass.lean 2 declarations
RetainedSplitPolynomial.lean 10 declarations
RetainedTable.lean 8 declarations
RetainedTotient.lean 5 declarations
RetainedTreeEmission.lean 3 declarations
RetainedTreeFilter.lean 5 declarations
RetentionCircuit.lean 12 declarations
RetentionDenominators.lean 20 declarations
RetentionEmission.lean 2 declarations
RetentionExpressionResources.lean 9 declarations
RetentionExpressions.lean 12 declarations
RetentionTemplateEmission.lean 11 declarations
RetrospectiveCircuit.lean 19 declarations
RetrospectiveLists.lean 11 declarations
RetrospectiveNode.lean 9 declarations
RetrospectiveOrder.lean 6 declarations
RetrospectiveResidues.lean 11 declarations
RetrospectiveSlots.lean 6 declarations
RetrospectiveStatistics.lean 18 declarations
RetrospectiveTree.lean 6 declarations
RootCircuit.lean 21 declarations
RootCircuitEmission.lean 11 declarations
RowNetwork.lean 6 declarations
RuntimeListPreparation.lean 10 declarations
SamplerDecodeCircuit.lean 14 declarations
SamplerDecodeEmission.lean 4 declarations
SamplerLabels.lean 11 declarations
SignedSyntaxEmission.lean 19 declarations
SortedEncoding.lean 4 declarations
SortedWords.lean 12 declarations
SortingCircuit.lean 17 declarations
SortingEmission.lean 7 declarations
SplitCandidate.lean 13 declarations
SplitDecoderPolynomial.lean 14 declarations
SplitHistoryAccess.lean 4 declarations
SplitMachineEmission.lean 6 declarations
StackEmission.lean 3 declarations
StaticMajorantResources.lean 13 declarations
StaticPredicates.lean 15 declarations
SuperpositionGates.lean 9 declarations
SuppliedDivisorCircuit.lean 16 declarations
SuppliedDivisorEmission.lean 4 declarations
TableArithmeticEmission.lean 8 declarations
TableDirectPhi.lean 3 declarations
TableFavorable.lean 3 declarations
TableFavorableCount.lean 8 declarations
TableFavorableEmission.lean 4 declarations
TableLevelCircuit.lean 6 declarations
TableNetsEmission.lean 4 declarations
TableOrder.lean 8 declarations
TableOrderCircuit.lean 11 declarations
TablePrimeSupport.lean 5 declarations
TableScanEmission.lean 10 declarations
TableTotient.lean 3 declarations
TableTotientCircuit.lean 7 declarations
TensorEmission.lean 6 declarations
TensorList.lean 3 declarations
TensorPreparation.lean 9 declarations
TensorWiring.lean 9 declarations
ThresholdRetention.lean 6 declarations
TotientAccumulator.lean 5 declarations
TotientCircuit.lean 10 declarations
TraceBounds.lean 11 declarations
TransitionEncodingEmission.lean 1 declarations
TransitionEqualization.lean 16 declarations
TransitionNetworks.lean 3 declarations
TransitionWords.lean 19 declarations
TreeAmplified.lean 11 declarations
TreeFinalResources.lean 8 declarations
TreeHistoryAccess.lean 9 declarations
TreeHistoryEmission.lean 5 declarations
TreeInitialization.lean 4 declarations
TreePadding.lean 17 declarations
TreePhysicalPreparation.lean 16 declarations
TreePreparationEmission.lean 20 declarations
TreePreparationPolynomial.lean 19 declarations
TreeQuarterPhysical.lean 11 declarations
TreeReadOnly.lean 7 declarations
TreeReadout.lean 9 declarations
TreeReadoutResources.lean 3 declarations
TreeRootOutput.lean 8 declarations
TreeTableEmission.lean 8 declarations
TreeVerificationEmission.lean 9 declarations
TrialControlCircuit.lean 11 declarations
TrialControlEmission.lean 8 declarations
TrialExpressionResources.lean 19 declarations
TrialGuessLaw.lean 10 declarations
TrialNetworkPolynomial.lean 6 declarations
TrialRawPreparation.lean 19 declarations
TrialRetentionBounds.lean 3 declarations
TriangularAlgebra.lean 16 declarations
TriangularCircuit.lean 20 declarations
TriangularKernel.lean 6 declarations
TriangularNetworkEmission.lean 5 declarations
TriangularPaths.lean 15 declarations
TriangularPreparation.lean 10 declarations
TriangularProgramEmission.lean 9 declarations
TwoAdicCircuit.lean 8 declarations
UniversalSplit.lean 17 declarations
VerifiedRoot.lean 4 declarations
VerifiedTableOrder.lean 9 declarations
VerifiedTreeBounds.lean 12 declarations
VerifiedTreeCompletion.lean 3 declarations
WideSplitCircuit.lean 10 declarations
WordBlocks.lean 13 declarations
WordBlocksEmission.lean 5 declarations
WordNetworks.lean 12 declarations
WordResize.lean 4 declarations
WordSumCircuit.lean 3 declarations
ZeroOutside.lean 11 declarations