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:
0.4.3
Required dependencies:
faiss-cpu
|
fastapi
|
filelock
|
httpx
|
mcp
|
nltk
|
numpy
|
openai-agents
|
pydantic
|
python-dotenv
|
pyyaml
|
rank-bm25
|
requests
|
sentence-transformers
|
sqlalchemy
|
toml
|
tqdm
|
typer
|
uvicorn
Optional dependencies:
mkdocs
|
mkdocs-material
|
mkdocstrings
|
pymdown-extensions
|
pytest
|
pytest-asyncio
|
pytest-cov
|
pytest-mock
|
ruff
Downloads last day:
1
Downloads last week:
17
Downloads last month:
189