piwheels

itp-interface

Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install itp-interface

Dependencies

• psutil
• jsonlines
• editdistance
• ray
• soundfile
• grpcio
• protobuf
• pexpect
• tqdm
• regex
• pylspclient
• filelock
• pampy
• rank-bm25
• omegaconf
• parglare
• dataclasses-json
• faiss-cpu
• sexpdata
• urllib3
• hydra-core
• wget
• pydantic
• numpy
• mathlibtools

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Files
1.1.11	2025-05-06
itp_interface-1.1.11-py3-none-any.whl (2 MB)
1.1.10	2025-03-31
itp_interface-1.1.10-py3-none-any.whl (2 MB)
1.1.9	2025-03-21
itp_interface-1.1.9-py3-none-any.whl (2 MB)
1.1.8	2025-03-13
itp_interface-1.1.8-py3-none-any.whl (2 MB)
1.1.7	2025-03-04
itp_interface-1.1.7-py3-none-any.whl (2 MB)
1.1.6	2025-02-28
itp_interface-1.1.6-py3-none-any.whl (2 MB)
1.1.5	2025-02-13
itp_interface-1.1.5-py3-none-any.whl (2 MB)
1.1.4	2025-02-13
itp_interface-1.1.4-py3-none-any.whl (2 MB)
1.1.2	2025-02-10
itp_interface-1.1.2-py3-none-any.whl (2 MB)
1.1.1	2025-02-10
itp_interface-1.1.1-py3-none-any.whl (2 MB)
1.1.0	2025-02-09
itp_interface-1.1.0-py3-none-any.whl (2 MB)
1.0.1 yanked	2025-02-08
itp_interface-1.0.1-py3-none-any.whl (2 MB)
1.0.0 yanked	2025-02-07

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue