commit: 4a8086313085ae37f9340313c37552eb7f53d8a3

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 17 14:41:39 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 17 14:43:24 2024 +1000
tree: b60f5e3d8e7ea735cb76fb53f4a58da8b599f9b5
parent: 4bd632bf76231aa8c5950a5c5f701a1090a69bfd [diff]

suggestion from review

oops

oops

2 files changed

tree: b60f5e3d8e7ea735cb76fb53f4a58da8b599f9b5

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.