Thanks to visit codestin.com
Credit goes to github.com

srghma / lean4 Public

forked from leanprover/lean4

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Lean 4 programming language and theorem prover

lean-lang.org

Apache-2.0 license

0 stars 718 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37,009 Commits
.github		.github
doc		doc
images		images
nix		nix
releases_drafts		releases_drafts
script		script
src		src
stage0		stage0
tests		tests
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitpod.Dockerfile		.gitpod.Dockerfile
.gitpod.yml		.gitpod.yml
.ignore		.ignore
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
lean.code-workspace		lean.code-workspace

Repository files navigation

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

About

Lean 4 programming language and theorem prover

lean-lang.org

Apache-2.0 license

Report repository

Releases

Packages

No packages published

Languages

Lean 91.8%
C++ 6.7%
Shell 0.4%
Python 0.3%
CMake 0.3%
Nix 0.1%
Other 0.4%