commit: c89a39980d2acc2e72b037161ebe6542e418fb20

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Apr 17 13:23:37 2024 +0200
committer: GitHub <noreply@github.com>

Wed Apr 17 13:23:37 2024 +0200
tree: 740c1c1dfe1df99f1246bbcc3ceeb0f75f00dd19
parent: 67eca1c3f8100160e1cc4b9018d871e11d3d2032 [diff]

Update src/Lean/Parser/Command.lean

Co-authored-by: Mario Carneiro <di.gama@gmail.com>

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

1 file changed

tree: 740c1c1dfe1df99f1246bbcc3ceeb0f75f00dd19

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.