| resources | | |
| .gitignore | -rw-r--r-- | 7 bytes |
| Complexity.Complexity.Definitions.html | -rw-r--r-- | 89.7 KB |
| Complexity.Complexity.EncodableP.html | -rw-r--r-- | 25.1 KB |
| Complexity.Complexity.LinTimeDecodable.html | -rw-r--r-- | 14.5 KB |
| Complexity.Complexity.Monotonic.html | -rw-r--r-- | 24.0 KB |
| Complexity.Complexity.NP.html | -rw-r--r-- | 111.1 KB |
| Complexity.Complexity.ONotation.html | -rw-r--r-- | 93.7 KB |
| Complexity.Complexity.ONotationIsAppropriate.html | -rw-r--r-- | 71.8 KB |
| Complexity.Complexity.PolyTimeComputable.html | -rw-r--r-- | 110.6 KB |
| Complexity.Complexity.SpaceBoundsTime.html | -rw-r--r-- | 113.8 KB |
| Complexity.Complexity.Subtypes.html | -rw-r--r-- | 40.4 KB |
| Complexity.Complexity.UpToCPoly.html | -rw-r--r-- | 127.8 KB |
| Complexity.HierarchyTheorem.AbstractTimeHierarchyTheorem.html | -rw-r--r-- | 136.4 KB |
| Complexity.HierarchyTheorem.TimeHierarchyTheorem.html | -rw-r--r-- | 66.6 KB |
| Complexity.L.AbstractMachines.AbstractHeapMachine.html | -rw-r--r-- | 233.6 KB |
| Complexity.L.AbstractMachines.AbstractHeapMachineDef.html | -rw-r--r-- | 74.5 KB |
| Complexity.L.AbstractMachines.AbstractSubstMachine.html | -rw-r--r-- | 92.3 KB |
| Complexity.L.AbstractMachines.Computable.EvalForTime.html | -rw-r--r-- | 166.3 KB |
| Complexity.L.AbstractMachines.Computable.EvalForTimeBool.html | -rw-r--r-- | 30.7 KB |
| Complexity.L.AbstractMachines.Computable.HeapMachine.html | -rw-r--r-- | 30.6 KB |
| Complexity.L.AbstractMachines.Computable.LargestVar.html | -rw-r--r-- | 43.0 KB |
| Complexity.L.AbstractMachines.Computable.Lookup.html | -rw-r--r-- | 11.4 KB |
| Complexity.L.AbstractMachines.Computable.Shared.html | -rw-r--r-- | 14.1 KB |
| Complexity.L.AbstractMachines.Computable.SubstMachine.html | -rw-r--r-- | 1.2 KB |
| Complexity.L.AbstractMachines.Computable.Unfolding.html | -rw-r--r-- | 56.1 KB |
| Complexity.L.AbstractMachines.Computable.UnivDecTime.html | -rw-r--r-- | 64.1 KB |
| Complexity.L.AbstractMachines.FlatPro.Computable.Compile.html | -rw-r--r-- | 67.8 KB |
| Complexity.L.AbstractMachines.FlatPro.Computable.Decompile.html | -rw-r--r-- | 19.4 KB |
| Complexity.L.AbstractMachines.FlatPro.Computable.LPro.html | -rw-r--r-- | 10.7 KB |
| Complexity.L.AbstractMachines.FlatPro.SizeAnalysisStep.html | -rw-r--r-- | 70.0 KB |
| Complexity.L.AbstractMachines.FlatPro.SizeAnalysisUnfoldClos.html | -rw-r--r-- | 89.5 KB |
| Complexity.L.AbstractMachines.FunctionalDefinitions.html | -rw-r--r-- | 96.0 KB |
| Complexity.L.AbstractMachines.LambdaDepth.html | -rw-r--r-- | 17.2 KB |
| Complexity.L.AbstractMachines.TM_LHeapInterpreter.LMBounds.html | -rw-r--r-- | 544.5 KB |
| Complexity.L.AbstractMachines.TM_LHeapInterpreter.LMBounds_Loop.html | -rw-r--r-- | 92.8 KB |
| Complexity.L.AbstractMachines.UnfoldHeap.html | -rw-r--r-- | 43.4 KB |
| Complexity.L.AbstractMachines.UnfoldTailRec.html | -rw-r--r-- | 105.0 KB |
| Complexity.L.ComparisonTimeBoundDerivation.html | -rw-r--r-- | 343.3 KB |
| Complexity.L.Datatypes.LBinNums.html | -rw-r--r-- | 47.3 KB |
| Complexity.L.Datatypes.LComparison.html | -rw-r--r-- | 2.5 KB |
| Complexity.L.Datatypes.LDepPair.html | -rw-r--r-- | 9.7 KB |
| Complexity.L.Functions.BinNums.html | -rw-r--r-- | 1.6 KB |
| Complexity.L.Functions.BinNumsAdd.html | -rw-r--r-- | 37.2 KB |
| Complexity.L.Functions.BinNumsCompare.html | -rw-r--r-- | 30.3 KB |
| Complexity.L.Functions.BinNumsSub.html | -rw-r--r-- | 52.9 KB |
| Complexity.L.Functions.IterupN.html | -rw-r--r-- | 35.3 KB |
| Complexity.L.TM.CompCode.html | -rw-r--r-- | 156.5 KB |
| Complexity.L.TM.TMflat.html | -rw-r--r-- | 54.7 KB |
| Complexity.L.TM.TMflatComp.html | -rw-r--r-- | 302.3 KB |
| Complexity.L.TM.TMflatEnc.html | -rw-r--r-- | 41.5 KB |
| Complexity.L.TM.TMflatFun.html | -rw-r--r-- | 120.4 KB |
| Complexity.L.TM.TMflatten.html | -rw-r--r-- | 90.0 KB |
| Complexity.L.TM.TMunflatten.html | -rw-r--r-- | 268.1 KB |
| Complexity.L.TM.TapeDecode.html | -rw-r--r-- | 25.2 KB |
| Complexity.Libs.CookPrelim.FlatFinTypes.html | -rw-r--r-- | 204.3 KB |
| Complexity.Libs.CookPrelim.MorePrelim.html | -rw-r--r-- | 345.6 KB |
| Complexity.Libs.CookPrelim.PolyBounds.html | -rw-r--r-- | 252.4 KB |
| Complexity.Libs.CookPrelim.Tactics.html | -rw-r--r-- | 69.1 KB |
| Complexity.Libs.Pigeonhole.html | -rw-r--r-- | 86.3 KB |
| Complexity.Libs.UniformHomomorphisms.html | -rw-r--r-- | 76.5 KB |
| Complexity.NP.Clique.Clique.html | -rw-r--r-- | 22.8 KB |
| Complexity.NP.Clique.FlatClique.html | -rw-r--r-- | 227.5 KB |
| Complexity.NP.Clique.FlatUGraph.html | -rw-r--r-- | 65.6 KB |
| Complexity.NP.Clique.UGraph.html | -rw-r--r-- | 7.9 KB |
| Complexity.NP.Clique.kSAT_to_Clique.html | -rw-r--r-- | 245.2 KB |
| Complexity.NP.Clique.kSAT_to_FlatClique.html | -rw-r--r-- | 349.4 KB |
| Complexity.NP.L.CanEnumTerm.html | -rw-r--r-- | 72.7 KB |
| Complexity.NP.L.CanEnumTerm_def.html | -rw-r--r-- | 16.8 KB |
| Complexity.NP.L.GenNP.html | -rw-r--r-- | 19.6 KB |
| Complexity.NP.L.GenNPBool.html | -rw-r--r-- | 61.4 KB |
| Complexity.NP.L.GenNP_is_hard.html | -rw-r--r-- | 59.8 KB |
| Complexity.NP.L.LMGenNP.html | -rw-r--r-- | 29.6 KB |
| Complexity.NP.SAT.CookLevin.Reductions.BinaryCC_to_FSAT.html | -rw-r--r-- | 733.1 KB |
| Complexity.NP.SAT.CookLevin.Reductions.CC_homomorphisms.html | -rw-r--r-- | 183.9 KB |
| Complexity.NP.SAT.CookLevin.Reductions.CC_to_BinaryCC.html | -rw-r--r-- | 65.8 KB |
| Complexity.NP.SAT.CookLevin.Reductions.FlatCC_to_BinaryCC.html | -rw-r--r-- | 284.9 KB |
| Complexity.NP.SAT.CookLevin.Reductions.FlatSingleTMGenNP_to_FlatTCC.html | -rw-r--r-- | 2.0 MB |
| Complexity.NP.SAT.CookLevin.Reductions.FlatTCC_to_FlatCC.html | -rw-r--r-- | 74.0 KB |
| Complexity.NP.SAT.CookLevin.Reductions.PTCC_Preludes.html | -rw-r--r-- | 225.3 KB |
| Complexity.NP.SAT.CookLevin.Reductions.SingleTMGenNP_to_TCC.html | -rw-r--r-- | 6.6 MB |
| Complexity.NP.SAT.CookLevin.Reductions.TCC_to_CC.html | -rw-r--r-- | 48.2 KB |
| Complexity.NP.SAT.CookLevin.Reductions.TMGenNP_fixed_singleTapeTM_to_FlatFunSingleTMGenNP.html | -rw-r--r-- | 67.8 KB |
| Complexity.NP.SAT.CookLevin.Subproblems.BinaryCC.html | -rw-r--r-- | 46.3 KB |
| Complexity.NP.SAT.CookLevin.Subproblems.CC.html | -rw-r--r-- | 199.5 KB |
| Complexity.NP.SAT.CookLevin.Subproblems.FlatCC.html | -rw-r--r-- | 390.1 KB |
| Complexity.NP.SAT.CookLevin.Subproblems.FlatTCC.html | -rw-r--r-- | 231.2 KB |
| Complexity.NP.SAT.CookLevin.Subproblems.SingleTMGenNP.html | -rw-r--r-- | 67.8 KB |
| Complexity.NP.SAT.CookLevin.Subproblems.TCC.html | -rw-r--r-- | 217.4 KB |
| Complexity.NP.SAT.CookLevin.Subproblems.TM_single.html | -rw-r--r-- | 82.5 KB |
| Complexity.NP.SAT.CookLevin.html | -rw-r--r-- | 41.2 KB |
| Complexity.NP.SAT.FSAT.FSAT.html | -rw-r--r-- | 102.6 KB |
| Complexity.NP.SAT.FSAT.FSAT_to_SAT.html | -rw-r--r-- | 526.0 KB |
| Complexity.NP.SAT.FSAT.FormulaEncoding.html | -rw-r--r-- | 309.6 KB |
| Complexity.NP.SAT.SAT.html | -rw-r--r-- | 73.4 KB |
| Complexity.NP.SAT.SAT_inNP.html | -rw-r--r-- | 254.1 KB |
| Complexity.NP.SAT.SharedSAT.html | -rw-r--r-- | 12.9 KB |
| Complexity.NP.SAT.kSAT.html | -rw-r--r-- | 46.5 KB |
| Complexity.NP.SAT.kSAT_to_SAT.html | -rw-r--r-- | 27.6 KB |
| Complexity.NP.TM.IntermediateProblems.html | -rw-r--r-- | 8.7 KB |
| Complexity.NP.TM.LM_to_mTM.html | -rw-r--r-- | 224.1 KB |
| Complexity.NP.TM.L_to_LM.html | -rw-r--r-- | 32.6 KB |
| Complexity.NP.TM.M_LM2TM.html | -rw-r--r-- | 137.3 KB |
| Complexity.NP.TM.M_multi2mono.html | -rw-r--r-- | 164.1 KB |
| Complexity.NP.TM.TMGenNP.html | -rw-r--r-- | 56.0 KB |
| Complexity.NP.TM.TMGenNP_fixed_mTM.html | -rw-r--r-- | 24.2 KB |
| Complexity.NP.TM.mTM_to_singleTapeTM.html | -rw-r--r-- | 165.1 KB |
| Complexity.TM.Code.Decode.html | -rw-r--r-- | 138.3 KB |
| Complexity.TM.Code.DecodeBool.html | -rw-r--r-- | 18.9 KB |
| Complexity.TM.Code.DecodeList.html | -rw-r--r-- | 101.9 KB |
| Complexity.TM.Compound.MoveToSymbol_niceSpec.html | -rw-r--r-- | 44.3 KB |
| Complexity.TM.PrettyBounds.BaseCode.html | -rw-r--r-- | 159.7 KB |
| Complexity.TM.PrettyBounds.BaseCodeSpace.html | -rw-r--r-- | 127.7 KB |
| Complexity.TM.PrettyBounds.M2MBounds.html | -rw-r--r-- | 415.0 KB |
| Complexity.TM.PrettyBounds.PrettyBounds.html | -rw-r--r-- | 125.0 KB |
| Complexity.TM.PrettyBounds.SpaceBounds.html | -rw-r--r-- | 20.8 KB |
| Complexity.TM.PrettyBounds.UnivBounds.html | -rw-r--r-- | 224.1 KB |
| Complexity.TM.PrettyBounds.UnivSpaceBounds.html | -rw-r--r-- | 472.0 KB |
| Complexity.TM.Single.DecodeTape.html | -rw-r--r-- | 241.5 KB |
| Complexity.TM.Single.DecodeTapes.html | -rw-r--r-- | 102.7 KB |
| Complexity.TM.Single.EncodeTapesInvariants.html | -rw-r--r-- | 60.7 KB |
| Complexity.TM.Univ.MultiUnivTimeSpaceSimulation.html | -rw-r--r-- | 704.7 KB |
| Undecidability.L.AbstractMachines.FlatPro.LM_heap_correct.html | -rw-r--r-- | 302.6 KB |
| Undecidability.L.AbstractMachines.FlatPro.LM_heap_def.html | -rw-r--r-- | 121.5 KB |
| Undecidability.L.AbstractMachines.FlatPro.Programs.html | -rw-r--r-- | 95.1 KB |
| Undecidability.L.AbstractMachines.FlatPro.ProgramsDef.html | -rw-r--r-- | 12.6 KB |
| Undecidability.L.AbstractMachines.FlatPro.UnfoldClos.html | -rw-r--r-- | 54.4 KB |
| Undecidability.L.AbstractMachines.LargestVar.html | -rw-r--r-- | 12.5 KB |
| Undecidability.L.Complexity.GenericNary.html | -rw-r--r-- | 75.2 KB |
| Undecidability.L.Complexity.LinDecode.LTD_def.html | -rw-r--r-- | 6.9 KB |
| Undecidability.L.Complexity.LinDecode.LTDbool.html | -rw-r--r-- | 4.0 KB |
| Undecidability.L.Complexity.LinDecode.LTDlist.html | -rw-r--r-- | 5.3 KB |
| Undecidability.L.Complexity.LinDecode.LTDnat.html | -rw-r--r-- | 4.3 KB |
| Undecidability.L.Complexity.ResourceMeasures.html | -rw-r--r-- | 155.5 KB |
| Undecidability.L.Complexity.UpToC.html | -rw-r--r-- | 99.0 KB |
| Undecidability.L.Complexity.UpToCNary.html | -rw-r--r-- | 86.2 KB |
| Undecidability.L.Computability.Acceptability.html | -rw-r--r-- | 39.6 KB |
| Undecidability.L.Computability.Computability.html | -rw-r--r-- | 30.1 KB |
| Undecidability.L.Computability.Decidability.html | -rw-r--r-- | 37.5 KB |
| Undecidability.L.Computability.Enum.html | -rw-r--r-- | 135.8 KB |
| Undecidability.L.Computability.Fixpoints.html | -rw-r--r-- | 13.0 KB |
| Undecidability.L.Computability.MuRec.html | -rw-r--r-- | 68.2 KB |
| Undecidability.L.Computability.Partial.html | -rw-r--r-- | 1.2 KB |
| Undecidability.L.Computability.Por.html | -rw-r--r-- | 38.9 KB |
| Undecidability.L.Computability.Rice.html | -rw-r--r-- | 95.8 KB |
| Undecidability.L.Computability.Scott.html | -rw-r--r-- | 34.3 KB |
| Undecidability.L.Computability.Seval.html | -rw-r--r-- | 133.5 KB |
| Undecidability.L.Computability.Synthetic.html | -rw-r--r-- | 104.7 KB |
| Undecidability.L.Datatypes.LBool.html | -rw-r--r-- | 20.5 KB |
| Undecidability.L.Datatypes.LFinType.html | -rw-r--r-- | 25.3 KB |
| Undecidability.L.Datatypes.LNat.html | -rw-r--r-- | 90.3 KB |
| Undecidability.L.Datatypes.LOptions.html | -rw-r--r-- | 40.9 KB |
| Undecidability.L.Datatypes.LProd.html | -rw-r--r-- | 34.0 KB |
| Undecidability.L.Datatypes.LSum.html | -rw-r--r-- | 34.5 KB |
| Undecidability.L.Datatypes.LTerm.html | -rw-r--r-- | 13.9 KB |
| Undecidability.L.Datatypes.LUnit.html | -rw-r--r-- | 3.3 KB |
| Undecidability.L.Datatypes.LVector.html | -rw-r--r-- | 69.7 KB |
| Undecidability.L.Datatypes.List.List_basics.html | -rw-r--r-- | 73.6 KB |
| Undecidability.L.Datatypes.List.List_enc.html | -rw-r--r-- | 7.2 KB |
| Undecidability.L.Datatypes.List.List_eqb.html | -rw-r--r-- | 55.2 KB |
| Undecidability.L.Datatypes.List.List_extra.html | -rw-r--r-- | 33.5 KB |
| Undecidability.L.Datatypes.List.List_fold.html | -rw-r--r-- | 42.1 KB |
| Undecidability.L.Datatypes.List.List_in.html | -rw-r--r-- | 66.0 KB |
| Undecidability.L.Datatypes.List.List_nat.html | -rw-r--r-- | 32.7 KB |
| Undecidability.L.Datatypes.Lists.html | -rw-r--r-- | 19.9 KB |
| Undecidability.L.Functions.Ackermann.html | -rw-r--r-- | 16.1 KB |
| Undecidability.L.Functions.Decoding.html | -rw-r--r-- | 69.4 KB |
| Undecidability.L.Functions.Encoding.html | -rw-r--r-- | 31.2 KB |
| Undecidability.L.Functions.EnumInt.html | -rw-r--r-- | 44.3 KB |
| Undecidability.L.Functions.EqBool.html | -rw-r--r-- | 34.2 KB |
| Undecidability.L.Functions.Equality.html | -rw-r--r-- | 12.1 KB |
| Undecidability.L.Functions.Eval.html | -rw-r--r-- | 44.2 KB |
| Undecidability.L.Functions.FinTypeLookup.html | -rw-r--r-- | 70.6 KB |
| Undecidability.L.Functions.LoopSum.html | -rw-r--r-- | 28.9 KB |
| Undecidability.L.Functions.Proc.html | -rw-r--r-- | 24.8 KB |
| Undecidability.L.Functions.Size.html | -rw-r--r-- | 40.3 KB |
| Undecidability.L.Functions.Subst.html | -rw-r--r-- | 8.9 KB |
| Undecidability.L.Functions.UnboundIteration.html | -rw-r--r-- | 92.7 KB |
| Undecidability.L.L.html | -rw-r--r-- | 18.1 KB |
| Undecidability.L.Prelim.ARS.html | -rw-r--r-- | 217.7 KB |
| Undecidability.L.Prelim.LoopSum.html | -rw-r--r-- | 33.8 KB |
| Undecidability.L.Prelim.MoreBase.html | -rw-r--r-- | 31.0 KB |
| Undecidability.L.Prelim.MoreList.html | -rw-r--r-- | 48.8 KB |
| Undecidability.L.Prelim.StringBase.html | -rw-r--r-- | 9.6 KB |
| Undecidability.L.TM.TMEncoding.html | -rw-r--r-- | 50.9 KB |
| Undecidability.L.TM.TMinL.TMinL_extract.html | -rw-r--r-- | 58.6 KB |
| Undecidability.L.TM.TMinL.html | -rw-r--r-- | 26.3 KB |
| Undecidability.L.TM.TapeFuns.html | -rw-r--r-- | 69.4 KB |
| Undecidability.L.Tactics.Computable.html | -rw-r--r-- | 97.3 KB |
| Undecidability.L.Tactics.ComputableDemo.html | -rw-r--r-- | 48.3 KB |
| Undecidability.L.Tactics.ComputableTactics.html | -rw-r--r-- | 177.4 KB |
| Undecidability.L.Tactics.ComputableTime.html | -rw-r--r-- | 143.3 KB |
| Undecidability.L.Tactics.Extract.html | -rw-r--r-- | 167.7 KB |
| Undecidability.L.Tactics.GenEncode.html | -rw-r--r-- | 55.3 KB |
| Undecidability.L.Tactics.LClos.html | -rw-r--r-- | 129.2 KB |
| Undecidability.L.Tactics.LClos_Eval.html | -rw-r--r-- | 46.0 KB |
| Undecidability.L.Tactics.LTactics.html | -rw-r--r-- | 3.2 KB |
| Undecidability.L.Tactics.Lbeta.html | -rw-r--r-- | 59.1 KB |
| Undecidability.L.Tactics.Lbeta_nonrefl.html | -rw-r--r-- | 43.3 KB |
| Undecidability.L.Tactics.Lproc.html | -rw-r--r-- | 25.1 KB |
| Undecidability.L.Tactics.Lrewrite.html | -rw-r--r-- | 145.9 KB |
| Undecidability.L.Tactics.Lsimpl.html | -rw-r--r-- | 32.1 KB |
| Undecidability.L.Tactics.Reflection.html | -rw-r--r-- | 192.3 KB |
| Undecidability.L.Tactics.mixedTactics.html | -rw-r--r-- | 6.8 KB |
| Undecidability.L.Util.L_facts.html | -rw-r--r-- | 264.0 KB |
| Undecidability.Shared.Dec.html | -rw-r--r-- | 52.9 KB |
| Undecidability.Shared.FilterFacts.html | -rw-r--r-- | 41.1 KB |
| Undecidability.Shared.FinTypeEquiv.html | -rw-r--r-- | 32.7 KB |
| Undecidability.Shared.FinTypeForallExists.html | -rw-r--r-- | 18.3 KB |
| Undecidability.Shared.Libs.DLW.Code.compiler.html | -rw-r--r-- | 103.0 KB |
| Undecidability.Shared.Libs.DLW.Code.compiler_correction.html | -rw-r--r-- | 200.1 KB |
| Undecidability.Shared.Libs.DLW.Code.sss.html | -rw-r--r-- | 414.1 KB |
| Undecidability.Shared.Libs.DLW.Code.subcode.html | -rw-r--r-- | 128.5 KB |
| Undecidability.Shared.Libs.DLW.Utils.binomial.html | -rw-r--r-- | 54.0 KB |
| Undecidability.Shared.Libs.DLW.Utils.bool_list.html | -rw-r--r-- | 264.0 KB |
| Undecidability.Shared.Libs.DLW.Utils.bool_nat.html | -rw-r--r-- | 711.9 KB |
| Undecidability.Shared.Libs.DLW.Utils.bounded_quantification.html | -rw-r--r-- | 80.4 KB |
| Undecidability.Shared.Libs.DLW.Utils.crt.html | -rw-r--r-- | 110.8 KB |
| Undecidability.Shared.Libs.DLW.Utils.fin_base.html | -rw-r--r-- | 126.0 KB |
| Undecidability.Shared.Libs.DLW.Utils.fin_bij.html | -rw-r--r-- | 107.2 KB |
| Undecidability.Shared.Libs.DLW.Utils.fin_choice.html | -rw-r--r-- | 95.2 KB |
| Undecidability.Shared.Libs.DLW.Utils.fin_dec.html | -rw-r--r-- | 40.4 KB |
| Undecidability.Shared.Libs.DLW.Utils.fin_quotient.html | -rw-r--r-- | 84.9 KB |
| Undecidability.Shared.Libs.DLW.Utils.fin_upto.html | -rw-r--r-- | 51.5 KB |
| Undecidability.Shared.Libs.DLW.Utils.finite.html | -rw-r--r-- | 3.0 KB |
| Undecidability.Shared.Libs.DLW.Utils.focus.html | -rw-r--r-- | 31.6 KB |
| Undecidability.Shared.Libs.DLW.Utils.gcd.html | -rw-r--r-- | 440.1 KB |
| Undecidability.Shared.Libs.DLW.Utils.interval.html | -rw-r--r-- | 44.6 KB |
| Undecidability.Shared.Libs.DLW.Utils.list_bool.html | -rw-r--r-- | 109.0 KB |
| Undecidability.Shared.Libs.DLW.Utils.list_focus.html | -rw-r--r-- | 28.3 KB |
| Undecidability.Shared.Libs.DLW.Utils.php.html | -rw-r--r-- | 201.6 KB |
| Undecidability.Shared.Libs.DLW.Utils.power_decomp.html | -rw-r--r-- | 137.8 KB |
| Undecidability.Shared.Libs.DLW.Utils.prime.html | -rw-r--r-- | 162.1 KB |
| Undecidability.Shared.Libs.DLW.Utils.quotient.html | -rw-r--r-- | 106.3 KB |
| Undecidability.Shared.Libs.DLW.Utils.rel_iter.html | -rw-r--r-- | 143.5 KB |
| Undecidability.Shared.Libs.DLW.Utils.seteq.html | -rw-r--r-- | 45.5 KB |
| Undecidability.Shared.Libs.DLW.Utils.sorting.html | -rw-r--r-- | 214.0 KB |
| Undecidability.Shared.Libs.DLW.Utils.sums.html | -rw-r--r-- | 293.5 KB |
| Undecidability.Shared.Libs.DLW.Utils.utils.html | -rw-r--r-- | 2.4 KB |
| Undecidability.Shared.Libs.DLW.Utils.utils_decidable.html | -rw-r--r-- | 99.1 KB |
| Undecidability.Shared.Libs.DLW.Utils.utils_list.html | -rw-r--r-- | 463.2 KB |
| Undecidability.Shared.Libs.DLW.Utils.utils_nat.html | -rw-r--r-- | 279.1 KB |
| Undecidability.Shared.Libs.DLW.Utils.utils_string.html | -rw-r--r-- | 18.6 KB |
| Undecidability.Shared.Libs.DLW.Utils.utils_tac.html | -rw-r--r-- | 68.0 KB |
| Undecidability.Shared.Libs.DLW.Vec.pos.html | -rw-r--r-- | 147.3 KB |
| Undecidability.Shared.Libs.DLW.Vec.vec.html | -rw-r--r-- | 360.3 KB |
| Undecidability.Shared.Libs.DLW.Wf.acc_irr.html | -rw-r--r-- | 16.4 KB |
| Undecidability.Shared.Libs.DLW.Wf.measure_ind.html | -rw-r--r-- | 68.9 KB |
| Undecidability.Shared.Libs.DLW.Wf.wf_chains.html | -rw-r--r-- | 71.7 KB |
| Undecidability.Shared.Libs.DLW.Wf.wf_finite.html | -rw-r--r-- | 37.0 KB |
| Undecidability.Shared.Libs.DLW.Wf.wf_incl.html | -rw-r--r-- | 42.5 KB |
| Undecidability.Shared.Libs.PSL.Base.html | -rw-r--r-- | 3.0 KB |
| Undecidability.Shared.Libs.PSL.Bijection.html | -rw-r--r-- | 20.6 KB |
| Undecidability.Shared.Libs.PSL.EqDec.html | -rw-r--r-- | 66.9 KB |
| Undecidability.Shared.Libs.PSL.FCI.html | -rw-r--r-- | 66.3 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.Arbitrary.html | -rw-r--r-- | 52.6 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.BasicDefinitions.html | -rw-r--r-- | 72.7 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.BasicFinTypes.html | -rw-r--r-- | 13.6 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.Cardinality.html | -rw-r--r-- | 25.0 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.CompoundFinTypes.html | -rw-r--r-- | 33.2 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.DepPairs.html | -rw-r--r-- | 17.6 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.FinTypes.html | -rw-r--r-- | 74.9 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.FiniteFunction.html | -rw-r--r-- | 59.6 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.VectorFin.html | -rw-r--r-- | 34.9 KB |
| Undecidability.Shared.Libs.PSL.FiniteTypes.html | -rw-r--r-- | 2.8 KB |
| Undecidability.Shared.Libs.PSL.Inhabited.html | -rw-r--r-- | 26.4 KB |
| Undecidability.Shared.Libs.PSL.Lists.BaseLists.html | -rw-r--r-- | 243.0 KB |
| Undecidability.Shared.Libs.PSL.Lists.Cardinality.html | -rw-r--r-- | 52.6 KB |
| Undecidability.Shared.Libs.PSL.Lists.Dupfree.html | -rw-r--r-- | 58.9 KB |
| Undecidability.Shared.Libs.PSL.Lists.Filter.html | -rw-r--r-- | 42.5 KB |
| Undecidability.Shared.Libs.PSL.Lists.Position.html | -rw-r--r-- | 66.8 KB |
| Undecidability.Shared.Libs.PSL.Lists.Power.html | -rw-r--r-- | 66.6 KB |
| Undecidability.Shared.Libs.PSL.Lists.Removal.html | -rw-r--r-- | 50.7 KB |
| Undecidability.Shared.Libs.PSL.Numbers.html | -rw-r--r-- | 44.2 KB |
| Undecidability.Shared.Libs.PSL.Prelim.html | -rw-r--r-- | 26.1 KB |
| Undecidability.Shared.Libs.PSL.Retracts.html | -rw-r--r-- | 147.6 KB |
| Undecidability.Shared.Libs.PSL.Tactics.AutoIndTac.html | -rw-r--r-- | 18.3 KB |
| Undecidability.Shared.Libs.PSL.Tactics.Tactics.html | -rw-r--r-- | 20.5 KB |
| Undecidability.Shared.Libs.PSL.Vectors.Fin.html | -rw-r--r-- | 37.0 KB |
| Undecidability.Shared.Libs.PSL.Vectors.FinNotation.html | -rw-r--r-- | 47.6 KB |
| Undecidability.Shared.Libs.PSL.Vectors.VectorDupfree.html | -rw-r--r-- | 96.1 KB |
| Undecidability.Shared.Libs.PSL.Vectors.Vectors.html | -rw-r--r-- | 241.0 KB |
| Undecidability.Shared.ListAutomation.html | -rw-r--r-- | 77.8 KB |
| Undecidability.Shared.embed_nat.html | -rw-r--r-- | 20.1 KB |
| Undecidability.Synthetic.DecidabilityFacts.html | -rw-r--r-- | 53.3 KB |
| Undecidability.Synthetic.Definitions.html | -rw-r--r-- | 23.5 KB |
| Undecidability.Synthetic.EnumerabilityFacts.html | -rw-r--r-- | 53.0 KB |
| Undecidability.Synthetic.Infinite.html | -rw-r--r-- | 92.6 KB |
| Undecidability.Synthetic.InformativeDefinitions.html | -rw-r--r-- | 12.1 KB |
| Undecidability.Synthetic.InformativeReducibilityFacts.html | -rw-r--r-- | 21.4 KB |
| Undecidability.Synthetic.ListEnumerabilityFacts.html | -rw-r--r-- | 132.1 KB |
| Undecidability.Synthetic.MoreEnumerabilityFacts.html | -rw-r--r-- | 36.7 KB |
| Undecidability.Synthetic.ReducibilityFacts.html | -rw-r--r-- | 54.7 KB |
| Undecidability.Synthetic.SemiDecidabilityFacts.html | -rw-r--r-- | 6.4 KB |
| Undecidability.Synthetic.Undecidability.html | -rw-r--r-- | 10.4 KB |
| Undecidability.TM.Basic.Basic.html | -rw-r--r-- | 1.7 KB |
| Undecidability.TM.Basic.Duo.html | -rw-r--r-- | 34.3 KB |
| Undecidability.TM.Basic.Mono.html | -rw-r--r-- | 80.3 KB |
| Undecidability.TM.Basic.Null.html | -rw-r--r-- | 12.6 KB |
| Undecidability.TM.Code.BinNumbers.EncodeBinNumbers.html | -rw-r--r-- | 43.3 KB |
| Undecidability.TM.Code.BinNumbers.NTM.html | -rw-r--r-- | 123.6 KB |
| Undecidability.TM.Code.BinNumbers.PosAddTM.html | -rw-r--r-- | 214.7 KB |
| Undecidability.TM.Code.BinNumbers.PosCompareTM.html | -rw-r--r-- | 175.1 KB |
| Undecidability.TM.Code.BinNumbers.PosDefinitions.html | -rw-r--r-- | 101.8 KB |
| Undecidability.TM.Code.BinNumbers.PosHelperMachines.html | -rw-r--r-- | 160.5 KB |
| Undecidability.TM.Code.BinNumbers.PosIncrementTM.html | -rw-r--r-- | 54.3 KB |
| Undecidability.TM.Code.BinNumbers.PosMultTM.html | -rw-r--r-- | 130.8 KB |
| Undecidability.TM.Code.BinNumbers.PosPointers.html | -rw-r--r-- | 68.1 KB |
| Undecidability.TM.Code.BinNumbers.PosShiftTM.html | -rw-r--r-- | 196.0 KB |
| Undecidability.TM.Code.CaseBool.html | -rw-r--r-- | 27.8 KB |
| Undecidability.TM.Code.CaseFin.html | -rw-r--r-- | 29.3 KB |
| Undecidability.TM.Code.CaseList.html | -rw-r--r-- | 256.7 KB |
| Undecidability.TM.Code.CaseNat.html | -rw-r--r-- | 76.2 KB |
| Undecidability.TM.Code.CasePair.html | -rw-r--r-- | 179.4 KB |
| Undecidability.TM.Code.CaseSum.html | -rw-r--r-- | 179.0 KB |
| Undecidability.TM.Code.ChangeAlphabet.html | -rw-r--r-- | 141.9 KB |
| Undecidability.TM.Code.Code.html | -rw-r--r-- | 229.4 KB |
| Undecidability.TM.Code.CodeTM.html | -rw-r--r-- | 153.7 KB |
| Undecidability.TM.Code.CompareValue.html | -rw-r--r-- | 124.4 KB |
| Undecidability.TM.Code.Copy.html | -rw-r--r-- | 507.3 KB |
| Undecidability.TM.Code.List.App.html | -rw-r--r-- | 137.4 KB |
| Undecidability.TM.Code.List.Concat_Repeat.html | -rw-r--r-- | 96.2 KB |
| Undecidability.TM.Code.List.Cons_constant.html | -rw-r--r-- | 36.1 KB |
| Undecidability.TM.Code.List.Length.html | -rw-r--r-- | 143.2 KB |
| Undecidability.TM.Code.List.Nth.html | -rw-r--r-- | 165.8 KB |
| Undecidability.TM.Code.List.Rev.html | -rw-r--r-- | 129.2 KB |
| Undecidability.TM.Code.ListTM.html | -rw-r--r-- | 3.6 KB |
| Undecidability.TM.Code.NatSub.html | -rw-r--r-- | 48.8 KB |
| Undecidability.TM.Code.NatTM.html | -rw-r--r-- | 281.6 KB |
| Undecidability.TM.Code.ProgrammingTools.html | -rw-r--r-- | 17.3 KB |
| Undecidability.TM.Code.WriteValue.html | -rw-r--r-- | 55.1 KB |
| Undecidability.TM.Combinators.Combinators.html | -rw-r--r-- | 80.2 KB |
| Undecidability.TM.Combinators.If.html | -rw-r--r-- | 50.4 KB |
| Undecidability.TM.Combinators.Mirror.html | -rw-r--r-- | 69.4 KB |
| Undecidability.TM.Combinators.SequentialComposition.html | -rw-r--r-- | 36.9 KB |
| Undecidability.TM.Combinators.StateWhile.html | -rw-r--r-- | 224.2 KB |
| Undecidability.TM.Combinators.Switch.html | -rw-r--r-- | 139.2 KB |
| Undecidability.TM.Combinators.While.html | -rw-r--r-- | 159.9 KB |
| Undecidability.TM.Compound.Compare.html | -rw-r--r-- | 329.6 KB |
| Undecidability.TM.Compound.CopySymbols.html | -rw-r--r-- | 134.0 KB |
| Undecidability.TM.Compound.MoveToSymbol.html | -rw-r--r-- | 234.0 KB |
| Undecidability.TM.Compound.Multi.html | -rw-r--r-- | 64.6 KB |
| Undecidability.TM.Compound.Shift.html | -rw-r--r-- | 132.5 KB |
| Undecidability.TM.Compound.TMTac.html | -rw-r--r-- | 74.4 KB |
| Undecidability.TM.Compound.WriteString.html | -rw-r--r-- | 65.8 KB |
| Undecidability.TM.Hoare.Hoare.html | -rw-r--r-- | 3.8 KB |
| Undecidability.TM.Hoare.HoareCombinators.html | -rw-r--r-- | 396.8 KB |
| Undecidability.TM.Hoare.HoareExamples.html | -rw-r--r-- | 476.0 KB |
| Undecidability.TM.Hoare.HoareLegacy.html | -rw-r--r-- | 13.1 KB |
| Undecidability.TM.Hoare.HoareLogic.html | -rw-r--r-- | 247.7 KB |
| Undecidability.TM.Hoare.HoareMult.html | -rw-r--r-- | 144.2 KB |
| Undecidability.TM.Hoare.HoareRegister.html | -rw-r--r-- | 605.0 KB |
| Undecidability.TM.Hoare.HoareStdLib.html | -rw-r--r-- | 32.9 KB |
| Undecidability.TM.Hoare.HoareTactics.html | -rw-r--r-- | 68.1 KB |
| Undecidability.TM.Hoare.HoareTacticsView.html | -rw-r--r-- | 9.6 KB |
| Undecidability.TM.L.Alphabets.html | -rw-r--r-- | 24.6 KB |
| Undecidability.TM.L.CaseCom.html | -rw-r--r-- | 53.8 KB |
| Undecidability.TM.L.CompilerBoolFuns.ClosedLAdmissible.html | -rw-r--r-- | 122.5 KB |
| Undecidability.TM.L.CompilerBoolFuns.Compiler.html | -rw-r--r-- | 229.6 KB |
| Undecidability.TM.L.CompilerBoolFuns.Compiler_facts.html | -rw-r--r-- | 138.8 KB |
| Undecidability.TM.L.CompilerBoolFuns.Compiler_nat_facts.html | -rw-r--r-- | 112.8 KB |
| Undecidability.TM.L.CompilerBoolFuns.Compiler_spec.html | -rw-r--r-- | 76.9 KB |
| Undecidability.TM.L.CompilerBoolFuns.EncBoolsTM_boolList.html | -rw-r--r-- | 165.2 KB |
| Undecidability.TM.L.CompilerBoolFuns.LComp_to_TMComp.html | -rw-r--r-- | 8.7 KB |
| Undecidability.TM.L.CompilerBoolFuns.NaryApp.html | -rw-r--r-- | 49.6 KB |
| Undecidability.TM.L.Eval.html | -rw-r--r-- | 92.0 KB |
| Undecidability.TM.L.HeapInterpreter.JumpTargetTM.html | -rw-r--r-- | 318.1 KB |
| Undecidability.TM.L.HeapInterpreter.LookupTM.html | -rw-r--r-- | 178.4 KB |
| Undecidability.TM.L.HeapInterpreter.M_LHeapInterpreter.html | -rw-r--r-- | 200.8 KB |
| Undecidability.TM.L.HeapInterpreter.StepTM.html | -rw-r--r-- | 681.5 KB |
| Undecidability.TM.L.HeapInterpreter.UnfoldClos.html | -rw-r--r-- | 304.5 KB |
| Undecidability.TM.L.Transcode.BoollistEnc.html | -rw-r--r-- | 27.9 KB |
| Undecidability.TM.L.Transcode.Boollist_to_Enc.html | -rw-r--r-- | 151.2 KB |
| Undecidability.TM.L.Transcode.Enc_to_Boollist.html | -rw-r--r-- | 117.6 KB |
| Undecidability.TM.Lifting.LiftAlphabet.html | -rw-r--r-- | 96.2 KB |
| Undecidability.TM.Lifting.LiftTapes.html | -rw-r--r-- | 228.2 KB |
| Undecidability.TM.Lifting.Lifting.html | -rw-r--r-- | 1.7 KB |
| Undecidability.TM.PrettyBounds.MaxList.html | -rw-r--r-- | 127.8 KB |
| Undecidability.TM.PrettyBounds.SizeBounds.html | -rw-r--r-- | 24.7 KB |
| Undecidability.TM.SBTM.html | -rw-r--r-- | 47.4 KB |
| Undecidability.TM.Single.EncodeTapes.html | -rw-r--r-- | 74.7 KB |
| Undecidability.TM.Single.StepTM.html | -rw-r--r-- | 1.1 MB |
| Undecidability.TM.TM.html | -rw-r--r-- | 51.4 KB |
| Undecidability.TM.Univ.LookupAssociativeListTM.html | -rw-r--r-- | 194.0 KB |
| Undecidability.TM.Univ.LowLevel.html | -rw-r--r-- | 269.1 KB |
| Undecidability.TM.Univ.Univ.html | -rw-r--r-- | 281.8 KB |
| Undecidability.TM.Util.ArithPrelim.html | -rw-r--r-- | 10.5 KB |
| Undecidability.TM.Util.Prelim.html | -rw-r--r-- | 102.2 KB |
| Undecidability.TM.Util.Relations.html | -rw-r--r-- | 81.4 KB |
| Undecidability.TM.Util.TM_facts.html | -rw-r--r-- | 402.8 KB |
| Undecidability.TM.Util.VectorPrelim.html | -rw-r--r-- | 49.4 KB |
| config.js | -rw-r--r-- | 1.2 KB |
| coqdoc.css | -rw-r--r-- | 3.0 KB |
| coqdocjs.css | -rw-r--r-- | 3.1 KB |
| coqdocjs.js | -rw-r--r-- | 5.7 KB |
| indexpage.html | -rw-r--r-- | 17.6 MB |
| toc.html | -rw-r--r-- | 20.6 KB |
