Something went wrong. Try again.
The Package Calculus
Something went wrong. Try again.
package-calculus PackageCalculus.lean
4.8 kB · 90 lines
at dev
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091import PackageCalculus.Core.Definitionimport PackageCalculus.Versions.Formulaimport PackageCalculus.Versions.Reduction.Definitionimport PackageCalculus.Versions.Reduction.Correctnessimport PackageCalculus.Versions.Lifting.Definitionimport PackageCalculus.Versions.Lifting.Retractionimport PackageCalculus.Versions.Lifting.Soundnessimport PackageCalculus.Versions.Lifting.Completeness
import PackageCalculus.Extensions.Conflict.Definitionimport PackageCalculus.Extensions.Conflict.Reduction.Definitionimport PackageCalculus.Extensions.Conflict.Reduction.Soundnessimport PackageCalculus.Extensions.Conflict.Reduction.Completenessimport PackageCalculus.Extensions.Conflict.Lifting.Definitionimport PackageCalculus.Extensions.Conflict.Lifting.Retractionimport PackageCalculus.Extensions.Conflict.Lifting.Soundnessimport PackageCalculus.Extensions.Conflict.Lifting.Completeness
import PackageCalculus.Extensions.Concurrent.Definitionimport PackageCalculus.Extensions.Concurrent.Reduction.Definitionimport PackageCalculus.Extensions.Concurrent.Reduction.Soundnessimport PackageCalculus.Extensions.Concurrent.Reduction.Completenessimport PackageCalculus.Extensions.Concurrent.Lifting.Definitionimport PackageCalculus.Extensions.Concurrent.Lifting.Retractionimport PackageCalculus.Extensions.Concurrent.Lifting.Soundnessimport PackageCalculus.Extensions.Concurrent.Lifting.Completeness
import PackageCalculus.Extensions.PeerDependency.Definitionimport PackageCalculus.Extensions.PeerDependency.Reduction.Definitionimport PackageCalculus.Extensions.PeerDependency.Reduction.Soundnessimport PackageCalculus.Extensions.PeerDependency.Reduction.Completenessimport PackageCalculus.Extensions.PeerDependency.Lifting.Definitionimport PackageCalculus.Extensions.PeerDependency.Lifting.Retractionimport PackageCalculus.Extensions.PeerDependency.Lifting.Soundnessimport PackageCalculus.Extensions.PeerDependency.Lifting.Completeness
import PackageCalculus.Extensions.Visibility.Definitionimport PackageCalculus.Extensions.Visibility.Reduction.Definitionimport PackageCalculus.Extensions.Visibility.Reduction.Soundnessimport PackageCalculus.Extensions.Visibility.Reduction.Completeness
import PackageCalculus.Extensions.Feature.Definitionimport PackageCalculus.Extensions.Feature.Reduction.Definitionimport PackageCalculus.Extensions.Feature.Reduction.Soundnessimport PackageCalculus.Extensions.Feature.Reduction.Completenessimport PackageCalculus.Extensions.Feature.Lifting.Definitionimport PackageCalculus.Extensions.Feature.Lifting.Retractionimport PackageCalculus.Extensions.Feature.Lifting.Soundnessimport PackageCalculus.Extensions.Feature.Lifting.Completeness
import PackageCalculus.Extensions.PackageFormula.Definitionimport PackageCalculus.Extensions.PackageFormula.Reduction.Definitionimport PackageCalculus.Extensions.PackageFormula.Reduction.Soundnessimport PackageCalculus.Extensions.PackageFormula.Reduction.Completenessimport PackageCalculus.Extensions.PackageFormula.Lifting.Definitionimport PackageCalculus.Extensions.PackageFormula.Lifting.Retractionimport PackageCalculus.Extensions.PackageFormula.Lifting.Soundnessimport PackageCalculus.Extensions.PackageFormula.Lifting.Completeness
import PackageCalculus.Extensions.VariableFormula.Definitionimport PackageCalculus.Extensions.VariableFormula.Reduction.Definitionimport PackageCalculus.Extensions.VariableFormula.Reduction.Soundnessimport PackageCalculus.Extensions.VariableFormula.Reduction.Completenessimport PackageCalculus.Extensions.VariableFormula.Lifting.Definitionimport PackageCalculus.Extensions.VariableFormula.Lifting.Retractionimport PackageCalculus.Extensions.VariableFormula.Lifting.Soundnessimport PackageCalculus.Extensions.VariableFormula.Lifting.Completeness
import PackageCalculus.Extensions.Virtual.Definitionimport PackageCalculus.Extensions.Virtual.Reduction.Definitionimport PackageCalculus.Extensions.Virtual.Reduction.Soundnessimport PackageCalculus.Extensions.Virtual.Reduction.Completenessimport PackageCalculus.Extensions.Virtual.Lifting.Definitionimport PackageCalculus.Extensions.Virtual.Lifting.Retractionimport PackageCalculus.Extensions.Virtual.Lifting.Soundnessimport PackageCalculus.Extensions.Virtual.Lifting.Completeness
import PackageCalculus.Extensions.Lookup
import PackageCalculus.Extensions.Singular
import PackageCalculus.Composition.FeatureConcurrent.Typesimport PackageCalculus.Composition.FeatureConcurrent.Definitionimport PackageCalculus.Composition.FeatureConcurrent.Reduction.Definitionimport PackageCalculus.Composition.FeatureConcurrent.Reduction.Soundnessimport PackageCalculus.Composition.FeatureConcurrent.Reduction.Completeness
import PackageCalculus.Complexity.ThreeSATimport PackageCalculus.Complexity.NPHardnessimport PackageCalculus.Complexity.SATEncoding