Release notes

Release notes#

🏷️ 0.5.0.1.post1.dev2 (2026-07-16)#

No significant changes.

🏷️ 0.5.0.1 (2026-07-05)#

💥 Other Notes#

  • Update dependencies to the latest versions.

🏷️ 0.5.0.0 (2026-07-04)#

✨ 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)