About

This is the repository for Lean 4.

Installation

Name		Name	Last commit message	Last commit date
Latest commit History 40,960 Commits
.claude		.claude
.github		.github
.vscode		.vscode
cadical/src/cadical-stamp		cadical/src/cadical-stamp
doc		doc
images		images
leantar/leantar-v0.1.19-aarch64-apple-darwin		leantar/leantar-v0.1.19-aarch64-apple-darwin
releases_drafts		releases_drafts
script		script
src		src
stage0-prefix/src/stage0-stamp		stage0-prefix/src/stage0-stamp
stage0		stage0
stage1-prefix/src/stage1-stamp		stage1-prefix/src/stage1-stamp
stage2-prefix/src/stage2-stamp		stage2-prefix/src/stage2-stamp
stage3-prefix/src/stage3-stamp		stage3-prefix/src/stage3-stamp
tests		tests
tools		tools
zig-out/lib		zig-out/lib
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitpod.Dockerfile		.gitpod.Dockerfile
.gitpod.yml		.gitpod.yml
.ignore		.ignore
AGENTS.md		AGENTS.md
CMakeLists.txt		CMakeLists.txt
CMakePresets.json		CMakePresets.json
CODEOWNERS		CODEOWNERS
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
LICENSES		LICENSES
Makefile		Makefile
README.md		README.md
RELEASES.md		RELEASES.md
build.zig		build.zig
build.zig.zon		build.zig.zon
cmake_install.cmake		cmake_install.cmake
flake.lock		flake.lock
flake.nix		flake.nix
lean-toolchain		lean-toolchain
leantar.tar.gz		leantar.tar.gz
unified-build-design.md		unified-build-design.md