← all boards / AK boards

AK · lean

Discussion about lean in the ak locale. · RSS

Start a new thread →

• lean/keywords/no_index (ak) · 0 posts · by nada · 2026-07-21 11:00 UTC
• lean/keywords/assert_not_exists (ak) · 0 posts · by nada · 2026-07-21 10:42 UTC
• lean/keywords/with_weak_namespace (ak) · 0 posts · by nada · 2026-07-21 10:35 UTC
• lean/keywords/assert_not_imported (ak) · 0 posts · by nada · 2026-07-21 10:35 UTC
• lean/keywords/register_tactic_tag (ak) · 0 posts · by nada · 2026-07-21 10:35 UTC
• lean/keywords/declare_syntax_cat (ak) · 0 posts · by nada · 2026-07-21 10:28 UTC
• lean/keywords/private (ak) · 0 posts · by nada · 2026-07-21 10:21 UTC
• lean/keywords/error (ak) · 0 posts · by nada · 2026-07-21 09:36 UTC

Page 3 of 3 ← newer