Agda.Builtin.Bool.html | -rw-r--r-- | 3.1 KB |
Agda.Builtin.Equality.html | -rw-r--r-- | 2.6 KB |
Agda.Builtin.List.html | -rw-r--r-- | 4.7 KB |
Agda.Builtin.Maybe.html | -rw-r--r-- | 2.3 KB |
Agda.Builtin.Nat.html | -rw-r--r-- | 23.3 KB |
Agda.Builtin.Sigma.html | -rw-r--r-- | 3.4 KB |
Agda.Builtin.Strict.html | -rw-r--r-- | 4.8 KB |
Agda.Builtin.Unit.html | -rw-r--r-- | 1.7 KB |
Agda.Primitive.html | -rw-r--r-- | 4.9 KB |
Agda.css | -rw-r--r-- | 1.8 KB |
Algebra.Bundles.html | -rw-r--r-- | 194.3 KB |
Algebra.Consequences.Base.html | -rw-r--r-- | 4.9 KB |
Algebra.Consequences.Propositional.html | -rw-r--r-- | 32.0 KB |
Algebra.Consequences.Setoid.html | -rw-r--r-- | 107.2 KB |
Algebra.Construct.NaturalChoice.Base.html | -rw-r--r-- | 17.0 KB |
Algebra.Construct.NaturalChoice.MaxOp.html | -rw-r--r-- | 17.7 KB |
Algebra.Construct.NaturalChoice.MinMaxOp.html | -rw-r--r-- | 67.0 KB |
Algebra.Construct.NaturalChoice.MinOp.html | -rw-r--r-- | 109.2 KB |
Algebra.Core.html | -rw-r--r-- | 6.5 KB |
Algebra.Definitions.html | -rw-r--r-- | 58.6 KB |
Algebra.Morphism.Definitions.html | -rw-r--r-- | 11.0 KB |
Algebra.Morphism.Structures.html | -rw-r--r-- | 123.2 KB |
Algebra.Morphism.html | -rw-r--r-- | 47.2 KB |
Algebra.Properties.BooleanAlgebra.html | -rw-r--r-- | 290.0 KB |
Algebra.Properties.CommutativeSemigroup.html | -rw-r--r-- | 71.1 KB |
Algebra.Properties.DistributiveLattice.html | -rw-r--r-- | 36.8 KB |
Algebra.Properties.Group.html | -rw-r--r-- | 54.3 KB |
Algebra.Properties.Lattice.html | -rw-r--r-- | 56.8 KB |
Algebra.Properties.Semigroup.html | -rw-r--r-- | 4.2 KB |
Algebra.Properties.Semilattice.html | -rw-r--r-- | 13.8 KB |
Algebra.Structures.html | -rw-r--r-- | 119.1 KB |
Algebra.html | -rw-r--r-- | 1.7 KB |
Axiom.Extensionality.Propositional.html | -rw-r--r-- | 20.9 KB |
Axiom.UniquenessOfIdentityProofs.html | -rw-r--r-- | 23.2 KB |
Category.Applicative.Indexed.html | -rw-r--r-- | 46.0 KB |
Category.Applicative.html | -rw-r--r-- | 10.5 KB |
Category.Functor.html | -rw-r--r-- | 11.7 KB |
Category.Monad.Indexed.html | -rw-r--r-- | 29.5 KB |
Category.Monad.html | -rw-r--r-- | 11.4 KB |
Data.Bool.Base.html | -rw-r--r-- | 12.6 KB |
Data.Bool.Properties.html | -rw-r--r-- | 178.1 KB |
Data.Bool.html | -rw-r--r-- | 3.9 KB |
Data.Empty.Irrelevant.html | -rw-r--r-- | 2.1 KB |
Data.Empty.html | -rw-r--r-- | 2.5 KB |
Data.Fin.Base.html | -rw-r--r-- | 108.7 KB |
Data.Fin.Patterns.html | -rw-r--r-- | 4.3 KB |
Data.Fin.Properties.html | -rw-r--r-- | 391.8 KB |
Data.Fin.html | -rw-r--r-- | 4.5 KB |
Data.List.Base.html | -rw-r--r-- | 192.0 KB |
Data.List.NonEmpty.Base.html | -rw-r--r-- | 73.1 KB |
Data.List.NonEmpty.html | -rw-r--r-- | 86.5 KB |
Data.List.html | -rw-r--r-- | 1.3 KB |
Data.Maybe.Base.html | -rw-r--r-- | 37.2 KB |
Data.Maybe.Relation.Unary.All.html | -rw-r--r-- | 53.4 KB |
Data.Maybe.Relation.Unary.Any.html | -rw-r--r-- | 31.3 KB |
Data.Maybe.html | -rw-r--r-- | 7.5 KB |
Data.Nat.Base.html | -rw-r--r-- | 57.9 KB |
Data.Nat.Properties.Core.html | -rw-r--r-- | 2.8 KB |
Data.Nat.Properties.html | -rw-r--r-- | 851.7 KB |
Data.Nat.html | -rw-r--r-- | 4.4 KB |
Data.Product.html | -rw-r--r-- | 89.3 KB |
Data.Sum.Base.html | -rw-r--r-- | 31.0 KB |
Data.Sum.Properties.html | -rw-r--r-- | 46.4 KB |
Data.Sum.html | -rw-r--r-- | 10.9 KB |
Data.These.Base.html | -rw-r--r-- | 36.2 KB |
Data.Unit.Base.html | -rw-r--r-- | 3.6 KB |
Data.Unit.Polymorphic.Base.html | -rw-r--r-- | 3.3 KB |
Data.Unit.Properties.html | -rw-r--r-- | 27.8 KB |
Data.Unit.html | -rw-r--r-- | 5.7 KB |
Data.Vec.Base.html | -rw-r--r-- | 140.8 KB |
Function.Base.html | -rw-r--r-- | 77.1 KB |
Function.Bundles.html | -rw-r--r-- | 104.7 KB |
Function.Core.html | -rw-r--r-- | 5.0 KB |
Function.Definitions.Core1.html | -rw-r--r-- | 5.1 KB |
Function.Definitions.Core2.html | -rw-r--r-- | 7.8 KB |
Function.Definitions.html | -rw-r--r-- | 13.3 KB |
Function.Equality.html | -rw-r--r-- | 39.3 KB |
Function.Equivalence.html | -rw-r--r-- | 39.8 KB |
Function.Injection.html | -rw-r--r-- | 22.4 KB |
Function.Metric.Bundles.html | -rw-r--r-- | 35.1 KB |
Function.Metric.Core.html | -rw-r--r-- | 2.8 KB |
Function.Metric.Definitions.html | -rw-r--r-- | 35.0 KB |
Function.Metric.Nat.Bundles.html | -rw-r--r-- | 26.8 KB |
Function.Metric.Nat.Core.html | -rw-r--r-- | 2.6 KB |
Function.Metric.Nat.Definitions.html | -rw-r--r-- | 17.3 KB |
Function.Metric.Nat.Structures.html | -rw-r--r-- | 17.8 KB |
Function.Metric.Nat.html | -rw-r--r-- | 1.7 KB |
Function.Metric.Structures.html | -rw-r--r-- | 21.7 KB |
Function.Structures.html | -rw-r--r-- | 38.1 KB |
Function.html | -rw-r--r-- | 1.8 KB |
Level.html | -rw-r--r-- | 5.6 KB |
Relation.Binary.Bundles.html | -rw-r--r-- | 62.7 KB |
Relation.Binary.Consequences.html | -rw-r--r-- | 89.3 KB |
Relation.Binary.Construct.Converse.html | -rw-r--r-- | 71.7 KB |
Relation.Binary.Construct.NaturalOrder.Left.html | -rw-r--r-- | 76.1 KB |
Relation.Binary.Construct.NonStrictToStrict.html | -rw-r--r-- | 74.2 KB |
Relation.Binary.Core.html | -rw-r--r-- | 19.4 KB |
Relation.Binary.Definitions.html | -rw-r--r-- | 67.6 KB |
Relation.Binary.Indexed.Heterogeneous.Bundles.html | -rw-r--r-- | 11.2 KB |
Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html | -rw-r--r-- | 15.7 KB |
Relation.Binary.Indexed.Heterogeneous.Core.html | -rw-r--r-- | 13.0 KB |
Relation.Binary.Indexed.Heterogeneous.Definitions.html | -rw-r--r-- | 10.3 KB |
Relation.Binary.Indexed.Heterogeneous.Structures.html | -rw-r--r-- | 13.4 KB |
Relation.Binary.Indexed.Heterogeneous.html | -rw-r--r-- | 4.6 KB |
Relation.Binary.Lattice.html | -rw-r--r-- | 145.1 KB |
Relation.Binary.Morphism.Definitions.html | -rw-r--r-- | 6.3 KB |
Relation.Binary.Morphism.Structures.html | -rw-r--r-- | 37.6 KB |
Relation.Binary.Properties.Poset.html | -rw-r--r-- | 28.9 KB |
Relation.Binary.Properties.Preorder.html | -rw-r--r-- | 8.3 KB |
Relation.Binary.Properties.TotalOrder.html | -rw-r--r-- | 17.2 KB |
Relation.Binary.PropositionalEquality.Algebra.html | -rw-r--r-- | 5.5 KB |
Relation.Binary.PropositionalEquality.Core.html | -rw-r--r-- | 44.5 KB |
Relation.Binary.PropositionalEquality.Properties.html | -rw-r--r-- | 69.2 KB |
Relation.Binary.PropositionalEquality.html | -rw-r--r-- | 55.0 KB |
Relation.Binary.Reasoning.Base.Double.html | -rw-r--r-- | 44.7 KB |
Relation.Binary.Reasoning.Base.Single.html | -rw-r--r-- | 19.9 KB |
Relation.Binary.Reasoning.Base.Triple.html | -rw-r--r-- | 69.1 KB |
Relation.Binary.Reasoning.Preorder.html | -rw-r--r-- | 4.6 KB |
Relation.Binary.Reasoning.Setoid.html | -rw-r--r-- | 7.5 KB |
Relation.Binary.Structures.html | -rw-r--r-- | 58.9 KB |
Relation.Binary.html | -rw-r--r-- | 1.9 KB |
Relation.Nullary.Decidable.Core.html | -rw-r--r-- | 44.0 KB |
Relation.Nullary.Decidable.html | -rw-r--r-- | 17.9 KB |
Relation.Nullary.Negation.Core.html | -rw-r--r-- | 28.6 KB |
Relation.Nullary.Negation.html | -rw-r--r-- | 39.2 KB |
Relation.Nullary.Product.html | -rw-r--r-- | 9.6 KB |
Relation.Nullary.Reflects.html | -rw-r--r-- | 14.1 KB |
Relation.Nullary.Sum.html | -rw-r--r-- | 10.2 KB |
Relation.Nullary.html | -rw-r--r-- | 13.1 KB |
Relation.Unary.Properties.html | -rw-r--r-- | 34.9 KB |
Relation.Unary.html | -rw-r--r-- | 84.2 KB |
Strict.html | -rw-r--r-- | 6.8 KB |
basicBitcoinDataType.html | -rw-r--r-- | 15.0 KB |
exampleBasicData.html | -rw-r--r-- | 26.0 KB |
exampleGeneratedWeakPreCond.html | -rw-r--r-- | 17.5 KB |
hoareTripleStack.html | -rw-r--r-- | 13.7 KB |
instruction.html | -rw-r--r-- | 23.8 KB |
instructionBasic.html | -rw-r--r-- | 8.7 KB |
ledger.html | -rw-r--r-- | 35.1 KB |
libraries.andLib.html | -rw-r--r-- | 1.6 KB |
libraries.boolLib.html | -rw-r--r-- | 10.1 KB |
libraries.emptyLib.html | -rw-r--r-- | 1.1 KB |
libraries.equalityLib.html | -rw-r--r-- | 3.5 KB |
libraries.listLib.html | -rw-r--r-- | 122.0 KB |
libraries.maybeLib.html | -rw-r--r-- | 27.9 KB |
libraries.natLib.html | -rw-r--r-- | 30.9 KB |
loadAll.html | -rw-r--r-- | 10.4 KB |
paperTypes2021PostProceed.demoEqualityReasoning.html | -rw-r--r-- | 21.3 KB |
paperTypes2021PostProceed.maybeDef.html | -rw-r--r-- | 4.8 KB |
paperTypes2021PostProceed.semanticBasicOperationsForTypeSetting.html | -rw-r--r-- | 43.6 KB |
paperTypes2021PostProceed.stackVerificationP2PKHsymbolicExecutionPaperVersion.html | -rw-r--r-- | 103.3 KB |
paperTypes2021PostProceed.verificationMultiSigBasicSymbolicExecutionPaper.html | -rw-r--r-- | 80.6 KB |
semanticBasicOperations.html | -rw-r--r-- | 61.8 KB |
stack.html | -rw-r--r-- | 14.3 KB |
stackPredicate.html | -rw-r--r-- | 14.9 KB |
stackSemanticsInstructions.html | -rw-r--r-- | 22.2 KB |
verificationMultiSig.html | -rw-r--r-- | 663.7 KB |
verificationP2PKHbasic.html | -rw-r--r-- | 70.8 KB |
verificationStackScripts.hoareTripleStackBasic.html | -rw-r--r-- | 84.1 KB |
verificationStackScripts.sPredicate.html | -rw-r--r-- | 43.3 KB |
verificationStackScripts.semanticsStackInstructions.html | -rw-r--r-- | 21.6 KB |
verificationStackScripts.stackHoareTriple.html | -rw-r--r-- | 147.1 KB |
verificationStackScripts.stackSemanticsInstructionsBasic.html | -rw-r--r-- | 24.3 KB |
verificationStackScripts.stackState.html | -rw-r--r-- | 30.2 KB |
verificationStackScripts.stackVerificationLemmas.html | -rw-r--r-- | 167.9 KB |
verificationStackScripts.stackVerificationLemmasPart2.html | -rw-r--r-- | 74.7 KB |
verificationStackScripts.stackVerificationP2PKH.html | -rw-r--r-- | 91.6 KB |
verificationStackScripts.stackVerificationP2PKHUsingEqualityOfPrograms.html | -rw-r--r-- | 78.8 KB |
verificationStackScripts.stackVerificationP2PKHUsingEqualityOfProgramsTest.html | -rw-r--r-- | 112.2 KB |
verificationStackScripts.stackVerificationP2PKHextractedProgram.html | -rw-r--r-- | 20.4 KB |
verificationStackScripts.stackVerificationP2PKHindexed.html | -rw-r--r-- | 178.6 KB |
verificationStackScripts.stackVerificationP2PKHsymbolicExecution.html | -rw-r--r-- | 69.9 KB |
verificationStackScripts.verificationMultiSigBasic.html | -rw-r--r-- | 78.2 KB |