Def reportOutOfHeartbeats

Modification history

2023-08-23 00:18

Mathlib/Lean/CoreM.lean

chore: bump Std (#6721) …

Deleted reportOutOfHeartbeats View on Github →

2023-06-07 23:57

Mathlib/Lean/CoreM.lean

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

Modified reportOutOfHeartbeats View on Github →

2023-05-10 05:52

Mathlib/Lean/CoreM.lean

feat: `rewrites`, a tactic to suggest rewrites. (#3119) …

Added reportOutOfHeartbeats View on Github →