lean.py. Easy bindings between Lean and Python.

github.com/BasisResearch/lean.py
by @BasisResearch

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.