PyPI page
Home page
Author:
Amitayush Thakur
Summary:
Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.
Latest version:
1.12.0
Required dependencies:
dataclasses-json
|
editdistance
|
faiss-cpu
|
filelock
|
hydra-core
|
jsonlines
|
mathlibtools
|
numpy
|
omegaconf
|
pampy
|
parglare
|
pexpect
|
pydantic
|
pylspclient
|
rank-bm25
|
ray
|
regex
|
sexpdata
|
soundfile
|
tqdm
|
urllib3
|
wget
Optional dependencies:
grpcio
|
networkx
|
pandas
|
plotly
|
protobuf
|
scipy
|
streamlit
Downloads last day:
1
Downloads last week:
72
Downloads last month:
144
7-day smoothing