Software Foundations in Lean
Copyright 2025-2026 The Software Foundations in Lean contributors

This product includes software developed as part of the Software Foundations
in Lean project (https://github.com/plclub/sf-in-lean).

This work is related to the Software Foundations series
(https://softwarefoundations.cis.upenn.edu/), which is distributed under its
own separate license terms.