File

📁 Source: Aesop/Stats/File.lean

Statistics

Metric	Count
Definitions StatsFileRecord, declaration, file, goalSolved, ofStats, position, syntax, toStats, appendStatsToStatsFileIfEnabled, instToJsonStatsFileRecord, toJson	11
Theorems	0
Total	11

Aesop

Definitions

Name	Category	Theorems
StatsFileRecord 📖	CompData	—
appendStatsToStatsFileIfEnabled 📖	CompOp	—
instToJsonStatsFileRecord 📖	CompOp	—

Aesop.StatsFileRecord

Definitions

Name	Category	Theorems
declaration 📖	CompOp	—
file 📖	CompOp	—
goalSolved 📖	CompOp	—
ofStats 📖	CompOp	—
position 📖	CompOp	—
syntax 📖	CompOp	—
toStats 📖	CompOp	—

Aesop.instToJsonStatsFileRecord

Definitions

Name	Category	Theorems
toJson 📖	CompOp	—

---

← Back to Index