Basic

📁 Source: Aesop/Frontend/Basic.lean

Statistics

Metric	Count
Definitions quot, bool_litFalse, bool_litTrue, elabBoolLit, bool_lit	5
Theorems	0
Total	5

Aesop.Frontend

Definitions

Name	Category	Theorems
elabBoolLit 📖	CompOp	—

Aesop.Frontend.Parser

Definitions

Name	Category	Theorems
bool_litFalse 📖	CompOp	—
bool_litTrue 📖	CompOp	—

Aesop.Frontend.Parser.Aesop.bool_lit

Definitions

Name	Category	Theorems
quot 📖	CompOp	—

Lean.Parser.Category.Aesop

Definitions

Name	Category	Theorems
bool_lit 📖	CompOp	—

---

← Back to Index