commit: 6a040ab068dd7614da3e71239709ddebabffd7bf

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu May 09 19:44:19 2024 +0200
committer: GitHub <noreply@github.com>

Thu May 09 17:44:19 2024 +0000
tree: 55324fca7c0592387b97f40cdbdb6e7af6d2f7fb
parent: fe7b96d8a0cf85e1ea81791ac9d673f84c9e866d [diff]

feat: propagate `maxHeartbeats` to kernel (#4113)

Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>

20 files changed

tree: 55324fca7c0592387b97f40cdbdb6e7af6d2f7fb

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 (documentation source: doc/make/index.md).