GitHub repository: oOo0oOo/leanclient
Primary language: Python
Created: 2025-01-02T13:17:51Z
Description: Python client to interact with the lean4 language server.