GitHub repository: sorgfresser/lean-repl-py
Primary language: Python
Description: A very thin unofficial Python wrapper for the Lean REPL.