commit: 163b030df1238cccb240d86ef1c2f48f447336e9

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

Wed Feb 07 10:03:38 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 07 10:03:38 2024 +1100
tree: b7c965b7a2dd4834e103d236aa9ad9e7df877b44
parent: 3e5e0516681467d348062c283cd9efc1b901c354 [diff]

suggest

src/Lean/Server/InfoUtils.lean[diff]

1 file changed

tree: b7c965b7a2dd4834e103d236aa9ad9e7df877b44

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.