commit: fc8fe62c1f5ee159cb357c1cba15a25711693296

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu May 23 21:41:19 2024 +0200
committer: GitHub <noreply@github.com>

Thu May 23 21:41:19 2024 +0200
tree: de3dc05b2cada468bee337765bcb4b0c35b06a23
parent: 455fbe7a4e57a0c8afdefa2cb6d503391b8133cc [diff]
parent: 811bad16e1815b663bdb4ecdc535a0f65d410ce0 [diff]

Merge branch 'master' into level-ci

tree: de3dc05b2cada468bee337765bcb4b0c35b06a23

README.md

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 (documentation source: doc/make/index.md).