commit: 1935413664f83fd1e6d77b10eb7aafea5f24d5bd

[log]
author: Kim Morrison <kim@tqft.net>

Mon Apr 22 16:50:06 2024 +1000
committer: GitHub <noreply@github.com>

Mon Apr 22 16:50:06 2024 +1000
tree: 21b0234690b41d2f33388f5a173007c6f5c97057
parent: 3aec43b49a142ab9a3f403f9112755f275204b5f [diff]

Apply suggestions from code review

Changes look good to me.

Co-authored-by: David Thrane Christiansen <david@davidchristiansen.dk>

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

1 file changed

tree: 21b0234690b41d2f33388f5a173007c6f5c97057

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.