commit: 2534f33c567e80ceca23422660d4e08d3b4831c7

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

Fri Jul 12 15:22:37 2024 +0300
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jul 31 11:32:24 2024 +0200
tree: e8a3560287ac2b40c3e24485b210335f5c1952c1
parent: ce73bbe277140201cdb3ad3015c13d01948704b2 [diff]

refactor: split out Lean.Language.Lean.Types

5 files changed

tree: e8a3560287ac2b40c3e24485b210335f5c1952c1

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