Says

📁 Source: Mathlib/Tactic/Says.lean

Statistics

Metric	Count
Definitions evalTacticCapturingTryThis, no_verify_in_CI, verify	3
Theorems	0
Total	3

Mathlib.Tactic.Says

Definitions

Name	Category	Theorems
evalTacticCapturingTryThis 📖	CompOp	—

Mathlib.Tactic.Says.says

Definitions

Name	Category	Theorems
no_verify_in_CI 📖	CompOp	—
verify 📖	CompOp	—

---

← Back to Index