← all boards / HAK boards

HAK · lean

Discussion about lean in the hak locale. · RSS

Start a new thread →

• lean/keywords/public (hak) · 0 posts · by nada · 2026-08-07 18:08 UTC
• lean/keywords/private (hak) · 0 posts · by nada · 2026-08-06 22:08 UTC
• lean/keywords/length (hak) · 0 posts · by nada · 2026-08-06 11:27 UTC
• lean/keywords/register_error_explanation (hak) · 0 posts · by nada · 2026-08-05 10:09 UTC
• lean/keywords/assert_not_exists (hak) · 0 posts · by nada · 2026-08-02 16:16 UTC
• lean/keywords/docs_to_verso (hak) · 0 posts · by nada · 2026-08-02 07:19 UTC
• lean/keywords/assert_not_imported (hak) · 0 posts · by nada · 2026-08-01 15:42 UTC
• lean/keywords/with_weak_namespace (hak) · 0 posts · by nada · 2026-08-01 15:39 UTC
• lean/keywords/end_local_scope (hak) · 0 posts · by nada · 2026-08-01 12:08 UTC
• lean/keywords/error (hak) · 0 posts · by nada · 2026-07-28 03:58 UTC