commit: 5bd703a87d1030c23638603fe42e5e8d70fe15b8

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 28 08:33:59 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 28 08:33:59 2024 -0700
tree: a7fbae52b9a573dfc3911a7b0f515564d9d2de2e
parent: 3be22538d210bea69b8a8d1cd36ff29d7f89c634 [diff]

chore: code convention

2 files changed

tree: a7fbae52b9a573dfc3911a7b0f515564d9d2de2e

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.