PyPI Stats

Search

All packages
Top packages

Track packages

copra-theorem-prover


PyPI page
Home page
Author: Amitayush Thakur
Summary: Python library for running proof search using CoPra
Latest version: 1.11.0
Required dependencies: boto3 | huggingface-hub | itp-interface | numpy | openai | pydantic | requests | sentencepiece | tiktoken | transformers
Optional dependencies: gradio | vllm

Downloads last day: 41
Downloads last week: 66
Downloads last month: 94
7-day smoothing