Rare find

leanclient. Python client to interact with the lean4 language server.

github.com/oOo0oOo/leanclient

by

@oOo0oOo

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.