CountHeartbeats

📁 Source: Mathlib/Util/CountHeartbeats.lean

Statistics

Metric	Count
Definitions commandGuard_min_heartbeatsApproximately_In__, elabForHeartbeats, logVariation, roundDownIf, runTacForHeartbeats, variation, «command#count_heartbeats!_In__», «command#count_heartbeatsApproximatelyIn__», «tactic#count_heartbeats!_In__», «tactic#count_heartbeats_», countHeartbeatsLinter, «command#count_heartbeatsApproximately», countHeartbeats, countHeartbeatsApprox	14
Theorems	0
Total	14

Mathlib.CountHeartbeats

Definitions

Name	Category	Theorems
commandGuard_min_heartbeatsApproximately_In__ 📖	CompOp	—
elabForHeartbeats 📖	CompOp	—
logVariation 📖	CompOp	—
roundDownIf 📖	CompOp	—
runTacForHeartbeats 📖	CompOp	—
variation 📖	CompOp	—
«command#count_heartbeats!_In__» 📖	CompOp	—
«command#count_heartbeatsApproximatelyIn__» 📖	CompOp	—
«tactic#count_heartbeats!_In__» 📖	CompOp	—
«tactic#count_heartbeats_» 📖	CompOp	—

Mathlib.Linter.CountHeartbeats

Definitions

Name	Category	Theorems
countHeartbeatsLinter 📖	CompOp	—
«command#count_heartbeatsApproximately» 📖	CompOp	—

Mathlib.Linter.linter

Definitions

Name	Category	Theorems
countHeartbeats 📖	CompOp	—
countHeartbeatsApprox 📖	CompOp	—

---

← Back to Index