commit: 9066ec5e7c224f4b6edbb3ade0486df7879adf71

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

Wed Feb 07 10:04:07 2024 +1100
committer: GitHub <noreply@github.com>

Wed Feb 07 10:04:07 2024 +1100
tree: 017d25d03177d230c6acf34e361bbc8d47c8176b
parent: 163b030df1238cccb240d86ef1c2f48f447336e9 [diff]

Update src/Lean/Server/InfoUtils.lean

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

1 file changed

tree: 017d25d03177d230c6acf34e361bbc8d47c8176b

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.