LeoDog896 / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Repository from Github https://github.comLeoDog896/lean4

This is the repository for Lean 4.

About

Quickstart
Homepage
Theorem Proving Tutorial
Functional Programming in Lean
Documentation Overview
Language Reference
Release notes starting at v4.0.0-m3
Examples
External Contribution Guidelines
FAQ

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).

About

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

Languages

Language:Lean 88.0%Language:C++ 10.2%Language:CMake 0.5%Language:Shell 0.5%Language:Nix 0.2%Language:Python 0.1%Language:Swift 0.1%Language:OCaml 0.1%Language:Standard ML 0.1%Language:Haskell 0.1%Language:Makefile 0.1%Language:C 0.0%