PyPI page
Home page
Author:
None
Summary:
Python library for running proof search using CoPra
Latest version:
1.6.0
Required dependencies:
boto3
|
huggingface-hub
|
itp-interface
|
numpy
|
openai
|
pydantic
|
requests
|
sentencepiece
|
tiktoken
|
transformers
|
vllm
Optional dependencies:
gradio
|
vllm
Downloads last day:
0
Downloads last week:
58
Downloads last month:
243