commit: 209f4ea53931b0a469343d87f01a3ca26ac26897

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Tue Oct 06 10:52:24 2026 -0300
committer: GitHub <noreply@github.com>

Tue Oct 06 10:52:24 2026 -0300
tree: 319082c4d3344f8ba95b99fe40a49ffab1d2a451
parent: 5f900ed36374605c7bec67f9f12ba44c42d637ce [diff]
parent: 0159c20f3a015c50ddb7b3cc755be5ed4c255fc6 [diff]

Merge pull request #15191 from leanprover/sofia/libuv-timer-signal-fixes

fix: make timers and signals safe against re-entrant continuations and lost signals

tree: 319082c4d3344f8ba95b99fe40a49ffab1d2a451

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.