A Python application to interact with the Lean REPL.
Project description
lean-repl-py
lean-repl-py is a Python application designed to interact with the Lean REPL (Read-Eval-Print Loop). It provides an interface for sending commands to Lean and processing responses, making it easier to automate theorem proving using Python.
Features
- Simple Interface: Send Lean commands and receive responses seamlessly.
- Automation: Useful for scripting Lean interactions programmatically.
- No Dependencies: A lightweight tool with zero external dependencies.
- Fast: Adds no noticeable overhead on top of the lean REPL.
Installation
You can install lean-repl-py via PyPI:
pip install lean-repl-py
Prerequisites
Requires lake to be available on your system. That's it, no more strings attached.
Importantly, lean-repl-py ships with the correct version of the lean repl, so it is not needed separately.
Important notices
The first start in a new python environment will take some time, as the repl must be built first.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file lean_repl_py-0.1.6.tar.gz.
File metadata
- Download URL: lean_repl_py-0.1.6.tar.gz
- Upload date:
- Size: 3.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/2.0.0.dev0 CPython/3.9.20 Linux/6.5.0-1025-azure
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
96deb16efd41fa410a7098ff21c7bc551ea8cc89122ed3212b725f1f14bf55a3
|
|
| MD5 |
8b399cee1332850cf1c8b0dcd23f6af3
|
|
| BLAKE2b-256 |
5ff78cfe59f47d2a0e2aa7a5225f877923abc75260e98cc93ac1666dbdb9c8b5
|
File details
Details for the file lean_repl_py-0.1.6-py3-none-any.whl.
File metadata
- Download URL: lean_repl_py-0.1.6-py3-none-any.whl
- Upload date:
- Size: 4.4 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/2.0.0.dev0 CPython/3.9.20 Linux/6.5.0-1025-azure
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
4bddeb76e2062c8fce115631177d959278fcdc521b06bf8cf04ad86edee90269
|
|
| MD5 |
e27fa1ed4693d53d78a492abc48d374d
|
|
| BLAKE2b-256 |
7049c348c75fa7bd50b6d67bc40cb42243947e331edaa7674f9ad8406ca3dfb6
|
