repl icon indicating copy to clipboard operation
repl copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Python package

Open zhangir-azerbayev opened this issue 1 year ago • 2 comments

Adds python interface via a package called pylean. See README.md for usage instructions. Unit tests in pylean/tests.

zhangir-azerbayev avatar Apr 05 '23 19:04 zhangir-azerbayev

Currently, we require users to build the package from source from within this repository. Once we get the compiled version of the repl working, the python package should be installable with only pip install pylean.

zhangir-azerbayev avatar Apr 05 '23 19:04 zhangir-azerbayev

Thanks for the reviews.

I see that since I opened this PR, the bug that prevented the repl from compiling was fixed. Therefore I'm going to convert this PR back to a draft and work on a version of the python package that installs a pre-compiled binary of the repl.

zhangir-azerbayev avatar Jun 19 '23 00:06 zhangir-azerbayev