commit: 9006aab58447a4c8924fa95c792531c0eba1651c

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

Tue Mar 05 18:16:20 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Mar 05 18:16:20 2024 -0800
tree: 0c6c51406525e29b290e6b51c09e31b798689fcf
parent: 20e689217bc9d390b62168809606e995a19f04fa [diff]

chore: remove leftovers

3 files changed

tree: 0c6c51406525e29b290e6b51c09e31b798689fcf

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.