Def Mathlib.CountHeartbeats.runTacForHeartbeats

Modification history

2024-05-13 02:40
Mathlib/Util/CountHeartbeats.lean
feat: add count_heartbeats! command, and tactic mode count_heartbeats (#9733) …
Added Mathlib.CountHeartbeats.runTacForHeartbeatsView on Github →