LeanArgumentParser
Bases: Object
Command Line arguments parser for Lean configuration
parse_arguments(args: List[str]) -> Dictionary[str, Object]
Argument parser contructor