Def Mathlib.CountHeartbeats.elabForHeartbeats

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.elabForHeartbeatsView on Github →