├── FiniteSets ├── Kuratowski.agda ├── Kuratowski │ ├── Base.agda │ ├── Decidable.agda │ ├── Decidable │ │ ├── Base.agda │ │ └── Properties.agda │ └── Properties.agda ├── List.agda ├── List │ ├── Base.agda │ ├── Decidable │ │ ├── Base.agda │ │ └── Properties.agda │ └── Properties.agda └── Semilattice.agda ├── README.md └── finiteSets.agda-lib /FiniteSets/Kuratowski.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/Kuratowski.agda -------------------------------------------------------------------------------- /FiniteSets/Kuratowski/Base.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/Kuratowski/Base.agda -------------------------------------------------------------------------------- /FiniteSets/Kuratowski/Decidable.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/Kuratowski/Decidable.agda -------------------------------------------------------------------------------- /FiniteSets/Kuratowski/Decidable/Base.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/Kuratowski/Decidable/Base.agda -------------------------------------------------------------------------------- /FiniteSets/Kuratowski/Decidable/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/Kuratowski/Decidable/Properties.agda -------------------------------------------------------------------------------- /FiniteSets/Kuratowski/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/Kuratowski/Properties.agda -------------------------------------------------------------------------------- /FiniteSets/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/List.agda -------------------------------------------------------------------------------- /FiniteSets/List/Base.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/List/Base.agda -------------------------------------------------------------------------------- /FiniteSets/List/Decidable/Base.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/List/Decidable/Base.agda -------------------------------------------------------------------------------- /FiniteSets/List/Decidable/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/List/Decidable/Properties.agda -------------------------------------------------------------------------------- /FiniteSets/List/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/List/Properties.agda -------------------------------------------------------------------------------- /FiniteSets/Semilattice.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/FiniteSets/Semilattice.agda -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/L-TChen/FiniteSets/HEAD/README.md -------------------------------------------------------------------------------- /finiteSets.agda-lib: -------------------------------------------------------------------------------- 1 | name: finite-sets 2 | depend: 3 | cubical 4 | include: . 5 | --------------------------------------------------------------------------------