How to run `main`?

Stream: lean4

[Wojciech Nawrocki]

The List String is a list of command line arguments, which in the editor you could just simulate with #eval main [] (or a non-empty list if the program actually needs some arguments).