commit: c8a9b249ac7c8052ce20e6c63b1a62b139dff098

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

Tue Feb 13 14:42:08 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 13 14:42:08 2024 +1100
tree: 49628f7a8f075767481e2a072d43f8ee2405827e
parent: 2b485c0dc3d3771697977afdbc94795e13292890 [diff]

suggestions from review

src/Lean/Elab/Command.lean[diff]

1 file changed

tree: 49628f7a8f075767481e2a072d43f8ee2405827e

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.