Something went wrong. Try again.
The Package Calculus
Something went wrong. Try again.
package-calculus PackageCalculus.lean
4.5 kB · 83 lines
at icfp
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384import 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.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