Zulip Chat Archive
Stream: lean4
Topic: command line argument parsing
Jason Gross (Mar 19 2021 at 18:44):
Does Lean have an implementation of getopt/arg/argparse/optparse somewhere?
Daniel Selsam (Mar 19 2021 at 18:50):
https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/lean4-cli/near/227355925 (note: I have not looked at it)
Jason Gross (Mar 19 2021 at 18:53):
Thanks!
Last updated: Dec 20 2023 at 11:08 UTC