search

leanprover-community / lean-client-python

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

Fix receiver bug #4

Closed jasonrute closed 4 years ago

jasonrute commented 4 years ago

This fixes issue https://github.com/leanprover-community/lean-client-python/issues/1 and includes a test (again using the new testing framework in PR https://github.com/leanprover-community/lean-client-python/pull/3).

jasonrute commented 4 years ago

This is now rebased on top of #3 (the testing framework). So once that is merged, this should be ready to review next (and merge if it looks good).