commit: 7ea74d5435fca6ebb37509f5f9a3767ef4b9d08e

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

Tue Nov 10 17:41:30 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Tue Nov 10 19:40:09 2026 -0300
tree: 5aeec3c17520bcb094ac67bb2792c468e65aa486
parent: 3ad64ed1a4e39895c46415cdce2da25b8e656f52 [diff]

doc: clarify Watchdog guarantees and reuse UInt64.ofNatClamp

src/Std/Async/Watchdog.lean[diff]

1 file changed

tree: 5aeec3c17520bcb094ac67bb2792c468e65aa486

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.