Def heartbeatsPercent

Modification history

2023-08-23 00:18

Mathlib/Lean/CoreM.lean

chore: bump Std (#6721) …

Deleted heartbeatsPercent View on Github →

2023-06-07 23:57

Mathlib/Lean/CoreM.lean

fix: library_search doesn't get tired (#4828) …

Modified heartbeatsPercent View on Github →

2023-04-18 10:28

Mathlib/Lean/CoreM.lean

chore: refactor of library_search, and don't timeout (#3228) …

Added heartbeatsPercent View on Github →