software-foundations-lean

Obsoleted by plclub/sf-in-lean

See https://github.com/plclub/sf-in-lean instead

Software Foundations rewritten in Lean 4, WIP

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 27 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

Navigation Menu