GitHub repository: leanprover-community/lean-client-python
Primary language: Python
Description: Python talking to the Lean theorem prover