Pop.lean

-- Author(s): Andrés Goens
-- See Copyright Notice in LICENSE

import Pop.States
import Pop.Pop
import Pop.Exploration
import Pop.Interactive
import Pop.AxiomaticAlloy