RunningStats

📁 Source: Batteries/Data/RunningStats.lean

Statistics

Metric	Count
Definitions RunningStats, count, mean, push, sampleVariance, standardDeviation, var, variance	8
Theorems	0
Total	8

Batteries

Definitions

Name	Category	Theorems
RunningStats 📖	CompData	—

Batteries.RunningStats

Definitions

Name	Category	Theorems
count 📖	CompOp	—
mean 📖	CompOp	—
push 📖	CompOp	—
sampleVariance 📖	CompOp	—
standardDeviation 📖	CompOp	—
var 📖	CompOp	—
variance 📖	CompOp	—

---

← Back to Index