Mathlib Changelog
v4
Changelog
About
Github
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.elabForHeartbeats
View on Github →