Getting started
Reference
Release Notes
galactic-convex-core [1] [2] is the package for studying convex concepts.
GALACTIC stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.
Index
Module Index
Search Page