Documentation Verification Report

Calc

📁 Source: Mathlib/Tactic/Widget/Calc.lean

Statistics

Metric	Count
Definitions `CalcPanel`, `rpc`, `CalcParams`, `indent`, `isFirst`, `toSelectInsertParams`, `tacticCalc?`, `createCalc`, `instRpcEncodableCalcParams`, `instSelectInsertParamsClassCalcParams`, `suggestSteps`	11
Theorems	0
Total	11

CalcPanel

Definitions

Name	Category	Theorems
`rpc` 📖	CompOp	—

CalcParams

Definitions

Name	Category	Theorems
`indent` 📖	CompOp	—
`isFirst` 📖	CompOp	—
`toSelectInsertParams` 📖	CompOp	—

Lean.Elab.Tactic

Definitions

Name	Category	Theorems
`tacticCalc?` 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
`CalcPanel` 📖	CompOp	—
`CalcParams` 📖	CompData	—
`createCalc` 📖	CompOp	—
`instRpcEncodableCalcParams` 📖	CompOp	—
`instSelectInsertParamsClassCalcParams` 📖	CompOp	—
`suggestSteps` 📖	CompOp	—

---

← Back to Index