Def mkAll

Modification history

2024-05-29 17:17
scripts/mk_all.lean
feat: `lake exe mk_all` as a Lean executable (#11853) …
Added mkAllView on Github →