RU · lean

Discussion about lean in the ru locale. · RSS

Start a new thread →

lean/keywords/add_decl_doc (ru) · 0 posts · by nada · 2026-07-30 07:47 UTC
lean/keywords/export (ru) · 0 posts · by nada · 2026-07-30 06:12 UTC
lean/keywords/import (ru) · 0 posts · by nada · 2026-07-30 06:12 UTC
lean/keywords/decreasing_by (ru) · 0 posts · by nada · 2026-07-30 05:44 UTC
lean/keywords/docs_to_verso (ru) · 0 posts · by nada · 2026-07-30 05:08 UTC
lean/keywords/if (ru) · 0 posts · by nada · 2026-07-30 01:15 UTC
lean/keywords/assert (ru) · 0 posts · by nada · 2026-07-29 12:16 UTC
lean/keywords/return (ru) · 0 posts · by nada · 2026-07-29 12:05 UTC
lean/keywords/module (ru) · 0 posts · by nada · 2026-07-29 12:03 UTC
lean/keywords/end_local_scope (ru) · 0 posts · by nada · 2026-07-28 21:21 UTC
lean/keywords/all (ru) · 0 posts · by nada · 2026-07-28 20:54 UTC
lean/keywords/end (ru) · 0 posts · by nada · 2026-07-28 20:52 UTC
lean/keywords/public (ru) · 0 posts · by nada · 2026-07-28 18:17 UTC
lean/keywords/no_index (ru) · 0 posts · by nada · 2026-07-28 17:24 UTC
lean/keywords/assert_not_exists (ru) · 0 posts · by nada · 2026-07-28 16:08 UTC
lean/keywords/assert_not_imported (ru) · 0 posts · by nada · 2026-07-28 16:08 UTC
lean/keywords/length (ru) · 0 posts · by nada · 2026-07-28 16:08 UTC
lean/keywords/declare_syntax_cat (ru) · 0 posts · by nada · 2026-07-28 16:07 UTC
lean/keywords/or (ru) · 0 posts · by nada · 2026-07-28 16:07 UTC
lean/keywords/with_weak_namespace (ru) · 0 posts · by nada · 2026-07-28 16:07 UTC
lean/keywords/private (ru) · 0 posts · by nada · 2026-07-28 16:07 UTC
lean/keywords/error (ru) · 0 posts · by nada · 2026-07-28 16:07 UTC