Command line argument parsing

Stream: Is there code for X?

[Geoffrey Irving]

Is there code for option parsing? That is, handling options like -n, —samples=5, etc.

[Adam Topaz]

Look at the lean4 cli package (it’s a dependency in mathlib)

[Geoffrey Irving]

Thanks, that's great!