LeanInteract/pyproject.toml at main · augustepoiroux/LeanInteract · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
[project]
name = "lean-interact"
version = "0.11.2"
description = "LeanInteract is a Python package that allows you to interact with the Lean theorem prover."
keywords = ["Lean", "theorem proving", "autoformalization", "REPL"]
license = { file = "LICENSE" }
readme = "README.md"
authors = [{ name = "Auguste Poiroux", email = "auguste.poiroux@epfl.ch" }]
requires-python = ">=3.10"
dependencies = [
    "filelock>=3.18.0",
    "gitpython>=3.1.44",
    "packaging>=24.2",
    "psutil>=6.1.0",
    "pydantic>=2.11.1",
    "requests>=2.32.3",
    "rich>=13.9.4",
    "tqdm>=4.67.1"
]

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

[dependency-groups]
dev = [
    "ipykernel>=6.29.5",
    "mkdocs>=1.6.1",
    "mkdocs-material>=9.6.14",
    "mkdocstrings>=0.29.1",
    "mkdocstrings-python>=1.16.10",
    "pymdown-extensions>=10.15",
    "ruff>=0.11.10",
    "markdown-exec[ansi]>=1.9.3",
    "mike>=2.1.3",
    "mdformat>=0.7.22",
    "mdformat-mkdocs>=4.3.0"
]

[project.scripts]
install-lean     = "lean_interact.utils:install_lean"
clear-lean-cache = "lean_interact.utils:clear_cache"

[tool.hatch.build.targets.wheel]
packages = ["src/lean_interact"]

[tool.hatch.build.targets.wheel.force-include]
"src/lean_interact/py.typed" = "lean_interact/py.typed"