booleaans
booleaans › bool
Provenance
- #28 demo-alpha concept_map 2026-07-13 covers concept boolean
- #13 primitive-types concept_map 2026-06-24 maps lean/Bool → concept boolean
- #5 concept-existence concept_map 2026-07-15 covers concept boolean
- #1 sealion-refinement concept_map 2026-07-19 maps lean/Bool → concept boolean winning layer
Concept boolean
Brain 1.1.0-alpha.9 · Open in explorer → · Discuss on the NADA forum →