Tracing

📁 Source: Aesop/Tree/Tracing.lean

Statistics

Metric	Count
Definitions traceMetadata, traceTree, traceTreeCore, withHeadlineTraceNode, traceMetadata, traceTree, traceTreeCore, withHeadlineTraceNode	8
Theorems	0
Total	8

Aesop.Goal

Definitions

Name	Category	Theorems
traceMetadata 📖	CompOp	—
traceTree 📖	CompOp	—
traceTreeCore 📖	CompOp	—
withHeadlineTraceNode 📖	CompOp	—

Aesop.Rapp

Definitions

Name	Category	Theorems
traceMetadata 📖	CompOp	—
traceTree 📖	CompOp	—
traceTreeCore 📖	CompOp	—
withHeadlineTraceNode 📖	CompOp	—

---

← Back to Index