8000 GitHub - agl/lean4: Lean 4 programming language and theorem prover · GitHub

Repository navigation

lean4

Public

forked from leanprover/lean4

About

Lean 4 programming language and theorem prover

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.claude		.claude
.github		.github
.vscode		.vscode
doc		doc
images		images
script		script
src		src
stage0		stage0
tests		tests
.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
README.md		README.md
RELEASES.md		RELEASES.md
flake.lock		flake.lock
flake.nix		flake.nix
lean-toolchain		lean-toolchain

Repository files navigation

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

About

Lean 4 programming language and theorem prover

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages

0