pyproject.toml

[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

[tool.hatch.build.targets.sdist]
exclude = [
  "/.github",
  "/docs",
  "/images",
  "/scripts",
]

[project]
name = "lean-dojo"
version = "2.2.0"
authors = [
  { name="Kaiyu Yang", email="kaiyuy@meta.com" },
]
description = "LeanDojo: Machine Learning for Theorem Proving in Lean"
keywords = ["theorem proving", "machine learning", "Lean"]
readme = "README.md"
license = { file = "LICENSE" }
requires-python = ">=3.9,<=3.12"  # https://docs.ray.io/en/latest/ray-overview/installation.html#daily-releases-nightlies
classifiers = [
    "Programming Language :: Python :: 3",
    "License :: OSI Approved :: MIT License",
    "Operating System :: MacOS",
    "Operating System :: POSIX :: Linux",
]
dependencies = [
  "python-dotenv",
  "loguru",
  "filelock",
  "gitpython",
  "psutil",
  "pexpect",
  "types-psutil",
  "tqdm",
  "toml",
  "types-toml",
  "networkx",
  "lxml",
  "PyGithub",
  "ray[default] >= 2.8",
]

[project.optional-dependencies]
dev = [
  "ipython",
  "notebook",
  "hatch"
]
test = [
  "pytest",
]
docs = [
  "sphinx",
  "sphinx-rtd-theme",
]
lint = [
  "mypy",
  "black[jupyter]",
]
all = [
  "ipython",
  "notebook",
  "hatch",
  "pytest",
  "sphinx",
  "sphinx-rtd-theme",
  "mypy",
  "black[jupyter]",
]

[project.urls]
"Homepage" = "https://leandojo.org/"
"Bug Tracker" = "https://github.com/lean-dojo/LeanDojo/issues"

[tool.pytest.ini_options]
addopts = [
    "--import-mode=importlib",
]