0.5.0.dev (2023-03-29)
Features
Introduce the notion of antitone Galois connection. (#3)
Other Notes
Split the core projects into small ones.
This led us to create a project for the algebra of closure operators including the Moore families. (#1)