commit: 6a4159c4a792ed2e74f20aecf73974dc3e314e2c

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

Wed Jul 31 11:50:12 2024 +0200
committer: GitHub <noreply@github.com>

Wed Jul 31 09:50:12 2024 +0000
tree: 796cd77c93ae05ea85dd1560cf069ee5dd9b9d2a
parent: 8acdafd5b3957382c02779ada451c14da44e2aca [diff]

refactor: split out Lean.Language.Lean.Types (#4881)

5 files changed

tree: 796cd77c93ae05ea85dd1560cf069ee5dd9b9d2a

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).