Def sleepAtLeastHeartbeats

Modification history

2026-10-06 10:22

Mathlib/Util/SleepHeartbeats.lean

chore: downgrade a few functions from IO to BaseIO (#44393) …

Modified sleepAtLeastHeartbeats View on Github →

2023-06-28 07:29

Mathlib/Util/SleepHeartbeats.lean

feat: don't re-elaborate terms in set (#5386) …

Added sleepAtLeastHeartbeats View on Github →