commit: 4d64f704d929222aecdc4592167ea96a392ce638

[log]
author: David Thrane Christiansen <david@davidchristiansen.dk>

Sat Apr 13 09:57:07 2024 +0200
committer: GitHub <noreply@github.com>

Sat Apr 13 09:57:07 2024 +0200
tree: 768fd307f5bdd06469f55d6736c9c68647a7ac83
parent: ba1acf57751161b6247ec13f766e209618c019ba [diff]

Update src/Lean/Parser/Command.lean

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

1 file changed

tree: 768fd307f5bdd06469f55d6736c9c68647a7ac83

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.