software-foundations-lean

Software Foundations rewritten in Lean 4

[!NOTE] This project is still very incomplete.

lake build

software-foundations-lean is primarily distributed under the terms of the GNU Affero General Public License v3.0 or any later version. See COPYRIGHT for details.