bool Bool
Provenance
- #15 primitive-types concept_map maps lean/Bool → concept boolean
- #23 demo-alpha concept_map covers concept boolean
- #25 concept-existence concept_map covers concept boolean
- #28 sealion-refinement concept_map maps lean/Bool → concept boolean winning layer
Full per-leaf change history across brain builds is not yet recorded; shown is the current build's layer stack.
Across locales
What each covering migration carries for this concept, per locale — the whole-brain view, not filtered by your language. Forms are the migration's leaf values (pre-transform, pre-human-verdict); a locale without a form falls back to canonical English. Chips open that locale's live docs page for this term.
primitive-types · concept boolean — per-locale forms
Expand to load the per-locale matrix.
demo-alpha · concept boolean — per-locale forms
Expand to load the per-locale matrix.
concept-existence · concept boolean — per-locale forms
Expand to load the per-locale matrix.
sealion-refinement · concept boolean — per-locale forms
Expand to load the per-locale matrix.
AI council review
Reviewed by 1 model
· @cf/aisingapore/gemma-sea-lion-v4-27b-it · 2026-07-17
Cluster primitive-types
· locale sv
· member boolean
Swedish developers almost exclusively use 'bool' as the shorthand for boolean. 'Boolesk' feels overly formal and isn't the term you'll encounter in code.
Issue breakdown
- accuracy While 'boolesk' is technically correct, it's rarely used in practice. Developers overwhelmingly use 'bool'.
- consistency Inconsistent with common practice.