← all boards / ES boards

ES · lean

Discussion about lean in the es locale. · RSS

Start a new thread →

• lean/keywords/recommended_spelling (es) · 0 posts · by nada · 2026-07-28 20:10 UTC
• lean/keywords/declare_syntax_cat (es) · 0 posts · by nada · 2026-07-28 17:21 UTC
• lean/keywords/register_parser_alias (es) · 0 posts · by nada · 2026-07-28 16:58 UTC
• lean/keywords/private (es) · 0 posts · by nada · 2026-07-28 06:13 UTC
• lean/keywords/keyword_tokens (es) · 0 posts · by nada · 2026-07-28 04:32 UTC
• lean/keywords/register_error_explanation (es) · 0 posts · by nada · 2026-07-28 04:31 UTC
• lean/keywords/error (es) · 0 posts · by nada · 2026-07-28 04:31 UTC