SScript

📁 Source: Aesop/Script/SScript.lean

Statistics

Metric	Count
Definitions SScript, render, takeNConsecutiveFocusAndSolve?, instInhabitedSScript, default	5
Theorems	0
Total	5

Aesop.Script

Definitions

Name	Category	Theorems
SScript 📖	CompData	—
instInhabitedSScript 📖	CompOp	—

Aesop.Script.SScript

Definitions

Name	Category	Theorems
render 📖	CompOp	—
takeNConsecutiveFocusAndSolve? 📖	CompOp	—

Aesop.Script.instInhabitedSScript

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index