Something went wrong. Try again.
The Package Calculus
Something went wrong. Try again.
package-calculus PackageCalculus.lean
4.8 kB · 88 lines
at main
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889import 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.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