Hist

📁 Source: Cslib/Computability/Automata/NA/Hist.lean

Statistics

Metric	Count
Definitions addHist, makeHist	2
Theorems hist_run_exists, hist_run_proj	2
Total	4

Cslib.Automata.NA

Definitions

Name	Category	Theorems
addHist 📖	CompOp	1 math math: hist_run_exists
makeHist 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
hist_run_exists 📖	mathematical	Run	addHist Cslib.ωSequence.map	—	—
hist_run_proj 📖	mathematical	Run addHist	Cslib.ωSequence.map	—	—

---

← Back to Index