ScottModels.lean

/-
Copyright (c) 2026  Lars Warren Ericson.  All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Lars Warren Ericson.
Github:  https://github.com/catskillsresearch/scott_models
-/

import Scott1972.ContinuousLattice.Specialization
import Scott1980.Neighborhood.Basic
import Scott1982.InfoSys
import ScottModels.NeighborhoodToInfoSys
import ScottModels.InfoSysToNeighborhood
import ScottModels.ContinuousLatticeToNeighborhood
import ScottModels.InfoSysToIdealCompletion
import ScottModels.IdealCompletionToContinuousLattice
import ScottModels.PresentationDomains
import ScottModels.InfoSysConstructions
import ScottModels.ScottMapBridge
import ScottModels.SexDomainEquation
import ScottModels.WorkedExampleSExpr
import ScottModels.Equivalence