leanprover-community / lean-client-python

Python talking to the Lean theorem prover
Apache License 2.0
39 stars 6 forks source link

More comprehensive trio_example #8

Open jasonrute opened 4 years ago

jasonrute commented 4 years ago

While we could add methods like state for every possible use case, we don't need to since we can directly use the send method and the corresponding Request object. I'd like to make some examples of this (to head off requests like, can you implement XXX functionality?).