Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Ring.agda | 2011-12-27 20:41 | 2.3K | ||
Lattice.agda | 2011-09-24 20:24 | 3.9K | ||
Group.agda | 2011-09-24 20:24 | 2.7K | ||
DistributiveLattice...> | 2011-09-24 20:24 | 3.4K | ||
BooleanAlgebra/ | 2011-09-24 20:24 | - | ||
BooleanAlgebra.agda | 2011-09-24 20:24 | 25K | ||
AbelianGroup.agda | 2011-12-27 20:41 | 1.7K | ||