lean-explore 0.2.1__tar.gz → 0.2.2__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {lean_explore-0.2.1 → lean_explore-0.2.2}/PKG-INFO +2 -4
- {lean_explore-0.2.1 → lean_explore-0.2.2}/pyproject.toml +2 -4
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore.egg-info/PKG-INFO +2 -4
- {lean_explore-0.2.1 → lean_explore-0.2.2}/LICENSE +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/README.md +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/setup.cfg +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/__init__.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/api/__init__.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/api/client.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/cli/__init__.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/cli/agent.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/cli/config_utils.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/cli/data_commands.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/cli/main.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/defaults.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/local/__init__.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/local/search.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/local/service.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/mcp/__init__.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/mcp/app.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/mcp/server.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/mcp/tools.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/shared/__init__.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/shared/models/__init__.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/shared/models/api.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore/shared/models/db.py +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore.egg-info/SOURCES.txt +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore.egg-info/dependency_links.txt +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore.egg-info/entry_points.txt +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore.egg-info/requires.txt +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/src/lean_explore.egg-info/top_level.txt +0 -0
- {lean_explore-0.2.1 → lean_explore-0.2.2}/tests/test_defaults.py +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: lean-explore
|
|
3
|
-
Version: 0.2.
|
|
3
|
+
Version: 0.2.2
|
|
4
4
|
Summary: A project to explore and rank Lean mathematical declarations.
|
|
5
5
|
Author-email: Justin Asher <justinchadwickasher@gmail.com>
|
|
6
6
|
License: Apache License
|
|
@@ -213,15 +213,13 @@ Classifier: Intended Audience :: Developers
|
|
|
213
213
|
Classifier: Intended Audience :: Science/Research
|
|
214
214
|
Classifier: License :: OSI Approved :: Apache Software License
|
|
215
215
|
Classifier: Programming Language :: Python :: 3
|
|
216
|
-
Classifier: Programming Language :: Python :: 3.8
|
|
217
|
-
Classifier: Programming Language :: Python :: 3.9
|
|
218
216
|
Classifier: Programming Language :: Python :: 3.10
|
|
219
217
|
Classifier: Programming Language :: Python :: 3.11
|
|
220
218
|
Classifier: Programming Language :: Python :: 3.12
|
|
221
219
|
Classifier: Topic :: Software Development :: Libraries :: Python Modules
|
|
222
220
|
Classifier: Topic :: Scientific/Engineering :: Mathematics
|
|
223
221
|
Classifier: Topic :: Text Processing :: Indexing
|
|
224
|
-
Requires-Python: >=3.
|
|
222
|
+
Requires-Python: >=3.10
|
|
225
223
|
Description-Content-Type: text/markdown
|
|
226
224
|
License-File: LICENSE
|
|
227
225
|
Requires-Dist: sqlalchemy>=2.0
|
|
@@ -4,13 +4,13 @@ build-backend = "setuptools.build_meta"
|
|
|
4
4
|
|
|
5
5
|
[project]
|
|
6
6
|
name = "lean-explore"
|
|
7
|
-
version = "0.2.
|
|
7
|
+
version = "0.2.2"
|
|
8
8
|
authors = [
|
|
9
9
|
{ name = "Justin Asher", email = "justinchadwickasher@gmail.com" },
|
|
10
10
|
]
|
|
11
11
|
description = "A project to explore and rank Lean mathematical declarations."
|
|
12
12
|
readme = "README.md"
|
|
13
|
-
requires-python = ">=3.
|
|
13
|
+
requires-python = ">=3.10"
|
|
14
14
|
license = { file = "LICENSE" }
|
|
15
15
|
keywords = ["lean", "lean4", "search", "formal methods", "theorem prover", "math", "AI"]
|
|
16
16
|
classifiers = [
|
|
@@ -19,8 +19,6 @@ classifiers = [
|
|
|
19
19
|
"Intended Audience :: Science/Research",
|
|
20
20
|
"License :: OSI Approved :: Apache Software License",
|
|
21
21
|
"Programming Language :: Python :: 3",
|
|
22
|
-
"Programming Language :: Python :: 3.8",
|
|
23
|
-
"Programming Language :: Python :: 3.9",
|
|
24
22
|
"Programming Language :: Python :: 3.10",
|
|
25
23
|
"Programming Language :: Python :: 3.11",
|
|
26
24
|
"Programming Language :: Python :: 3.12",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: lean-explore
|
|
3
|
-
Version: 0.2.
|
|
3
|
+
Version: 0.2.2
|
|
4
4
|
Summary: A project to explore and rank Lean mathematical declarations.
|
|
5
5
|
Author-email: Justin Asher <justinchadwickasher@gmail.com>
|
|
6
6
|
License: Apache License
|
|
@@ -213,15 +213,13 @@ Classifier: Intended Audience :: Developers
|
|
|
213
213
|
Classifier: Intended Audience :: Science/Research
|
|
214
214
|
Classifier: License :: OSI Approved :: Apache Software License
|
|
215
215
|
Classifier: Programming Language :: Python :: 3
|
|
216
|
-
Classifier: Programming Language :: Python :: 3.8
|
|
217
|
-
Classifier: Programming Language :: Python :: 3.9
|
|
218
216
|
Classifier: Programming Language :: Python :: 3.10
|
|
219
217
|
Classifier: Programming Language :: Python :: 3.11
|
|
220
218
|
Classifier: Programming Language :: Python :: 3.12
|
|
221
219
|
Classifier: Topic :: Software Development :: Libraries :: Python Modules
|
|
222
220
|
Classifier: Topic :: Scientific/Engineering :: Mathematics
|
|
223
221
|
Classifier: Topic :: Text Processing :: Indexing
|
|
224
|
-
Requires-Python: >=3.
|
|
222
|
+
Requires-Python: >=3.10
|
|
225
223
|
Description-Content-Type: text/markdown
|
|
226
224
|
License-File: LICENSE
|
|
227
225
|
Requires-Dist: sqlalchemy>=2.0
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|