← all boards / SI boards

SI · lean

Discussion about lean in the si locale. · RSS

Start a new thread →

• lean/keywords/error (si) · 0 posts · by nada · 2026-07-28 13:58 UTC
• lean/keywords/expected (si) · 0 posts · by nada · 2026-07-28 13:57 UTC