connections-0.3.2: Orders, Galois connections, and lattices.
A library for working with Galois connections on various common preorders.
See the README for an overview.
A library for working with Galois connections on various common preorders.
See the README for an overview.