Add lean command line parameters

leanprover-community / lean-client-python

Python talking to the Lean theorem prover

Apache License 2.0

39 stars 6 forks source link

Closed jasonrute closed 4 years ago

jasonrute commented 4 years ago

I often use the command line parameter -D pp.all=true. I'd like a way to set Lean command-line parameters.