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.