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.

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
.github/workflows		.github/workflows
SoftwareFoundations		SoftwareFoundations
.gitignore		.gitignore
COPYRIGHT		COPYRIGHT
LICENSE		LICENSE
README.md		README.md
SoftwareFoundations.lean		SoftwareFoundations.lean
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Provide feedback