commit: 7b29e2a6e03584f465e25d41b3f31f337b95b220

[log]
author: Sebastian Graf <sgraf1337@gmail.com>

Fri Apr 17 08:51:36 2026 +0000
committer: Sebastian Graf <sgraf1337@gmail.com>

Fri Apr 17 08:52:40 2026 +0000
tree: 73a27c339319979f08de6baccaa6a1cb64cdd16c
parent: 348ed9b3b0a8b0ac026dc9297e24bad6493631ec [diff]

chore: add ControlInfo handler for `doRepeat`

2 files changed

tree: 73a27c339319979f08de6baccaa6a1cb64cdd16c

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.