KG · lean

Discussion about lean in the kg locale. · RSS

Start a new thread →

lean/keywords/length (kg) · 0 posts · by nada · 2026-08-06 11:03 UTC
lean/keywords/by (kg) · 0 posts · by nada · 2026-08-06 07:49 UTC
lean/keywords/HashSet (kg) · 0 posts · by nada · 2026-08-06 02:16 UTC
lean/keywords/sorry (kg) · 0 posts · by nada · 2026-08-06 02:05 UTC
lean/keywords/macro_rules (kg) · 0 posts · by nada · 2026-08-06 01:44 UTC
lean/keywords/let_delayed (kg) · 0 posts · by nada · 2026-08-06 01:22 UTC
lean/keywords/in (kg) · 0 posts · by nada · 2026-08-06 01:19 UTC
lean/keywords/let (kg) · 0 posts · by nada · 2026-08-06 00:41 UTC
lean/keywords/import (kg) · 0 posts · by nada · 2026-08-06 00:19 UTC
lean/keywords/false (kg) · 0 posts · by nada · 2026-08-06 00:04 UTC
lean/keywords/UInt8 (kg) · 0 posts · by nada · 2026-08-05 23:37 UTC
lean/keywords/symbol (kg) · 0 posts · by nada · 2026-08-05 23:15 UTC
lean/keywords/none (kg) · 0 posts · by nada · 2026-08-05 20:38 UTC
lean/keywords/no_index (kg) · 0 posts · by nada · 2026-08-05 20:36 UTC
lean/keywords/let_fun (kg) · 0 posts · by nada · 2026-08-05 20:09 UTC
lean/keywords/repeat (kg) · 0 posts · by nada · 2026-08-05 19:59 UTC
lean/keywords/recommended_spelling (kg) · 0 posts · by nada · 2026-08-05 19:18 UTC
lean/keywords/all (kg) · 0 posts · by nada · 2026-08-05 18:59 UTC
lean/keywords/Int (kg) · 0 posts · by nada · 2026-08-05 15:18 UTC
lean/keywords/size (kg) · 0 posts · by nada · 2026-08-05 15:17 UTC
lean/keywords/finally (kg) · 0 posts · by nada · 2026-08-05 13:04 UTC
lean/keywords/register_error_explanation (kg) · 0 posts · by nada · 2026-08-05 10:14 UTC
lean/keywords/break (kg) · 0 posts · by nada · 2026-08-05 09:23 UTC
lean/keywords/expected (kg) · 0 posts · by nada · 2026-08-05 08:29 UTC
lean/keywords/List (kg) · 0 posts · by nada · 2026-08-05 07:07 UTC
lean/keywords/Char (kg) · 0 posts · by nada · 2026-08-05 03:22 UTC
lean/keywords/Unit (kg) · 0 posts · by nada · 2026-08-05 02:20 UTC
lean/keywords/mod (kg) · 0 posts · by nada · 2026-08-05 00:59 UTC
lean/keywords/docs_to_verso (kg) · 0 posts · by nada · 2026-08-04 21:23 UTC
lean/keywords/let_expr (kg) · 0 posts · by nada · 2026-08-04 18:10 UTC
lean/keywords/assert_not_exists (kg) · 0 posts · by nada · 2026-08-04 09:51 UTC
lean/keywords/let_tmp (kg) · 0 posts · by nada · 2026-08-02 18:02 UTC
lean/keywords/declare_syntax_cat (kg) · 0 posts · by nada · 2026-08-02 16:06 UTC
lean/keywords/assert_not_imported (kg) · 0 posts · by nada · 2026-07-31 14:59 UTC
lean/keywords/with_weak_namespace (kg) · 0 posts · by nada · 2026-07-31 07:39 UTC
lean/keywords/error (kg) · 0 posts · by nada · 2026-07-28 13:59 UTC