ryan.freumh.org / package-calculus
The Package Calculus
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

package-calculus / PackageCalculus.lean
4.8 kB 88 lines
1import PackageCalculus.Core.Definition 2import PackageCalculus.Versions.Formula 3import PackageCalculus.Versions.Reduction.Definition 4import PackageCalculus.Versions.Reduction.Correctness 5import PackageCalculus.Versions.Lifting.Definition 6import PackageCalculus.Versions.Lifting.Retraction 7import PackageCalculus.Versions.Lifting.Soundness 8import PackageCalculus.Versions.Lifting.Completeness 9 10import PackageCalculus.Extensions.Conflict.Definition 11import PackageCalculus.Extensions.Conflict.Reduction.Definition 12import PackageCalculus.Extensions.Conflict.Reduction.Soundness 13import PackageCalculus.Extensions.Conflict.Reduction.Completeness 14import PackageCalculus.Extensions.Conflict.Lifting.Definition 15import PackageCalculus.Extensions.Conflict.Lifting.Retraction 16import PackageCalculus.Extensions.Conflict.Lifting.Soundness 17import PackageCalculus.Extensions.Conflict.Lifting.Completeness 18 19import PackageCalculus.Extensions.Concurrent.Definition 20import PackageCalculus.Extensions.Concurrent.Reduction.Definition 21import PackageCalculus.Extensions.Concurrent.Reduction.Soundness 22import PackageCalculus.Extensions.Concurrent.Reduction.Completeness 23import PackageCalculus.Extensions.Concurrent.Lifting.Definition 24import PackageCalculus.Extensions.Concurrent.Lifting.Retraction 25import PackageCalculus.Extensions.Concurrent.Lifting.Soundness 26import PackageCalculus.Extensions.Concurrent.Lifting.Completeness 27 28import PackageCalculus.Extensions.PeerDependency.Definition 29import PackageCalculus.Extensions.PeerDependency.Reduction.Definition 30import PackageCalculus.Extensions.PeerDependency.Reduction.Soundness 31import PackageCalculus.Extensions.PeerDependency.Reduction.Completeness 32import PackageCalculus.Extensions.PeerDependency.Lifting.Definition 33import PackageCalculus.Extensions.PeerDependency.Lifting.Retraction 34import PackageCalculus.Extensions.PeerDependency.Lifting.Soundness 35import PackageCalculus.Extensions.PeerDependency.Lifting.Completeness 36 37import PackageCalculus.Extensions.Visibility.Definition 38import PackageCalculus.Extensions.Visibility.Reduction.Definition 39import PackageCalculus.Extensions.Visibility.Reduction.Soundness 40import PackageCalculus.Extensions.Visibility.Reduction.Completeness 41 42import PackageCalculus.Extensions.Feature.Definition 43import PackageCalculus.Extensions.Feature.Reduction.Definition 44import PackageCalculus.Extensions.Feature.Reduction.Soundness 45import PackageCalculus.Extensions.Feature.Reduction.Completeness 46import PackageCalculus.Extensions.Feature.Lifting.Definition 47import PackageCalculus.Extensions.Feature.Lifting.Retraction 48import PackageCalculus.Extensions.Feature.Lifting.Soundness 49import PackageCalculus.Extensions.Feature.Lifting.Completeness 50 51import PackageCalculus.Extensions.PackageFormula.Definition 52import PackageCalculus.Extensions.PackageFormula.Reduction.Definition 53import PackageCalculus.Extensions.PackageFormula.Reduction.Soundness 54import PackageCalculus.Extensions.PackageFormula.Reduction.Completeness 55import PackageCalculus.Extensions.PackageFormula.Lifting.Definition 56import PackageCalculus.Extensions.PackageFormula.Lifting.Retraction 57import PackageCalculus.Extensions.PackageFormula.Lifting.Soundness 58import PackageCalculus.Extensions.PackageFormula.Lifting.Completeness 59 60import PackageCalculus.Extensions.VariableFormula.Definition 61import PackageCalculus.Extensions.VariableFormula.Reduction.Definition 62import PackageCalculus.Extensions.VariableFormula.Reduction.Soundness 63import PackageCalculus.Extensions.VariableFormula.Reduction.Completeness 64import PackageCalculus.Extensions.VariableFormula.Lifting.Definition 65import PackageCalculus.Extensions.VariableFormula.Lifting.Retraction 66import PackageCalculus.Extensions.VariableFormula.Lifting.Soundness 67import PackageCalculus.Extensions.VariableFormula.Lifting.Completeness 68 69import PackageCalculus.Extensions.Virtual.Definition 70import PackageCalculus.Extensions.Virtual.Reduction.Definition 71import PackageCalculus.Extensions.Virtual.Reduction.Soundness 72import PackageCalculus.Extensions.Virtual.Reduction.Completeness 73import PackageCalculus.Extensions.Virtual.Lifting.Definition 74import PackageCalculus.Extensions.Virtual.Lifting.Retraction 75import PackageCalculus.Extensions.Virtual.Lifting.Soundness 76import PackageCalculus.Extensions.Virtual.Lifting.Completeness 77 78import PackageCalculus.Extensions.Singular 79 80import PackageCalculus.Composition.FeatureConcurrent.Types 81import PackageCalculus.Composition.FeatureConcurrent.Definition 82import PackageCalculus.Composition.FeatureConcurrent.Reduction.Definition 83import PackageCalculus.Composition.FeatureConcurrent.Reduction.Soundness 84import PackageCalculus.Composition.FeatureConcurrent.Reduction.Completeness 85 86import PackageCalculus.Complexity.ThreeSAT 87import PackageCalculus.Complexity.NPHardness 88import PackageCalculus.Complexity.SATEncoding