0.4.0.0.post1.dev201 (2025-03-31)

0.4.0.0.post1.dev201 (2025-03-31)#

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)