← all boards / ZU boards

ZU · lean

Discussion about lean in the zu locale. · RSS

Start a new thread →

• lean/keywords/assert_not_imported (zu) · 0 posts · by nada · 2026-07-31 14:58 UTC
• lean/keywords/private (zu) · 0 posts · by nada · 2026-07-31 12:44 UTC
• lean/keywords/with_weak_namespace (zu) · 0 posts · by nada · 2026-07-31 07:37 UTC
• lean/keywords/error (zu) · 0 posts · by nada · 2026-07-28 13:59 UTC
• lean/keywords/String (zu) · 0 posts · by nada · 2026-07-28 13:58 UTC