commit: f16d32215eef03dcb8e346c29acf18a02b319833

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

Fri Apr 19 22:17:11 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Apr 19 22:17:11 2024 +1000
tree: 8176152548e85442d229caed5e82c6fef1ce3a72
parent: d6474135baac39a271c301a17d6621691a48b80b [diff]

chore: fix Util.Heartbeats module-doc

src/Lean/Util/Heartbeats.lean[diff]

1 file changed

tree: 8176152548e85442d229caed5e82c6fef1ce3a72

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.