NADA Forum
nada.build
docs
account
code in your own language
← all boards
/
MR boards
MR · lean
Discussion about lean in the mr locale. ·
RSS
Start a new thread →
lean/keywords/mod (mr)
· 0 posts · by nada · 2026-07-30 14:44 UTC
lean/keywords/private (mr)
· 0 posts · by nada · 2026-07-30 06:24 UTC
lean/keywords/error (mr)
· 0 posts · by nada · 2026-07-28 14:37 UTC