PyPI page
Home page
Author:
Kimi Team - Project Numina
Summary:
Kimina Lean Server - FastAPI server for checking Lean 4 code at scale
Latest version:
2.1.3
Required dependencies:
fastapi
|
google-cloud-logging
|
kimina-ast-client
|
loguru
|
prisma
|
psutil
|
pydantic-settings
|
python-dotenv
|
rich
|
uvicorn
Downloads last day:
0
Downloads last week:
29
Downloads last month:
89