commit: 8f5a77f10a4afa9512b7c7277537a05ccd4ca628

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

Wed Apr 24 13:23:37 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Apr 24 13:23:37 2024 +0200
tree: 8a324638f7a0d6acc49335cad1ca500cd3de0950
parent: 62cdb51ed5b9d8487877d5a4adbcd4659d81fc6a [diff]

feat: trace.profiler.useHeartbeats

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

1 file changed

tree: 8a324638f7a0d6acc49335cad1ca500cd3de0950

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.