commit: 0898ece660d49b58854165f9d8a8427239de9d10

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

Fri Sep 06 13:09:03 2024 +0200
committer: Henrik Böving <hargonix@gmail.com>

Fri Sep 06 13:09:03 2024 +0200
tree: dae90f8b9dd622640be2adbdb2b9a988f2895e19
parent: 6b757b637fd990811407b00f1334c573ffebfc12 [diff]

sorting

9 files changed

tree: dae90f8b9dd622640be2adbdb2b9a988f2895e19

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