Question about stdlib documentation

Stream: new members

[Ioannis Konstantoulas]

Hello all; I would like to write some test CLI programs in Lean, and was wondering if there is any documentation or guide for the standard library, especially boilerplate like CLI option handling, file manipulation, regex support and similar tools.

[Alex J. Best]

There is the project https://github.com/mhuisi/lean4-cli which should make it fairly easy to add CLI support. File manipulation primitives are built in for the most part, and I don't know about regex

[Ioannis Konstantoulas]

Thank you Alex!