PyPI page
Home page
Author:
None
License:
Apache License
Version 2.0, January 2004
http://www.apache.org/licenses/
TERMS AND CONDITIONS FOR USE, REPRODUCTI...
Summary:
A search engine for Lean 4 declarations.
Latest version:
1.2.1
Required dependencies:
aiosqlite
|
bm25s
|
faiss-cpu
|
filelock
|
greenlet
|
httpx
|
mcp
|
nltk
|
numpy
|
openai-agents
|
pooch
|
pydantic
|
requests
|
rich
|
sqlalchemy
|
tenacity
|
toml
|
tqdm
|
typer
Optional dependencies:
networkx
|
pre-commit
|
pytest
|
pytest-asyncio
|
pytest-cov
|
ruff
|
sentence-transformers
|
torch
Downloads last day:
56
Downloads last week:
553
Downloads last month:
2,498