Release notes

🏷️ 0.4.0.0.post1.dev237 (2025-08-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)