commit: 53dda47fda824846889eaaad66079185a3c2cfec

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Feb 16 23:26:26 2024 +0100
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Feb 18 14:46:39 2024 -0800
tree: b03b4610e2dec41967d2f5114a2dafbd1e740655
parent: 5ce20ba160c070875230197f6d2284b36052b9d5 [diff]

perf: add prelude to all Lean modules

543 files changed

tree: b03b4610e2dec41967d2f5114a2dafbd1e740655

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.