Copyright (c) 2026 Christoph Benzmüller and Daniel Kirchner.

This work — the MinFMLinHOL Isabelle/HOL development — is licensed under the
Creative Commons Attribution 4.0 International License (CC BY 4.0).

You are free to share and adapt the material for any purpose, even
commercially, provided you give appropriate credit, provide a link to the
license, and indicate if changes were made.

Full license text: https://creativecommons.org/licenses/by/4.0/legalcode
Human-readable summary: https://creativecommons.org/licenses/by/4.0/
