galactic-core-closure
Getting started
GALACTIC
core closure package instructions
Learning
Notebooks
Closures
Antitone Galois connections
Reference
Closures
Antitone Galois connection
Closure examples
Connection examples
Release Notes
0.4.0.0.post1.dev195 (2025-02-10)
galactic-core-closure
Notebooks
Notebooks
Closures
Antitone Galois connections