NADA Forum
nada.build
docs
account
code in your own language
← all boards
/
WUU boards
WUU · lean
Discussion about lean in the wuu locale. ·
RSS
Start a new thread →
lean/keywords/char (wuu)
· 0 posts · by nada · 2026-08-08 20:11 UTC
lean/keywords/public (wuu)
· 0 posts · by nada · 2026-08-08 16:38 UTC
lean/keywords/Prod (wuu)
· 0 posts · by nada · 2026-08-07 13:18 UTC
lean/keywords/true (wuu)
· 0 posts · by nada · 2026-08-07 09:14 UTC
lean/keywords/private (wuu)
· 0 posts · by nada · 2026-08-06 22:16 UTC
lean/keywords/length (wuu)
· 0 posts · by nada · 2026-08-06 11:43 UTC
lean/keywords/register_error_explanation (wuu)
· 0 posts · by nada · 2026-08-05 10:07 UTC
lean/keywords/assert_not_exists (wuu)
· 0 posts · by nada · 2026-08-02 16:16 UTC
lean/keywords/assert_not_imported (wuu)
· 0 posts · by nada · 2026-08-01 15:49 UTC
lean/keywords/end_local_scope (wuu)
· 0 posts · by nada · 2026-08-01 12:07 UTC
lean/keywords/with_weak_namespace (wuu)
· 0 posts · by nada · 2026-07-31 18:41 UTC
lean/keywords/error (wuu)
· 0 posts · by nada · 2026-07-28 03:59 UTC