lean-runtime 4.21.0__tar.gz → 4.22.0__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.
Files changed (196) hide show
  1. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/CHANGELOG.md +2 -0
  2. {lean_runtime-4.21.0/lean_runtime.egg-info → lean_runtime-4.22.0}/PKG-INFO +1 -1
  3. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/cli.py +456 -197
  4. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/health.py +7 -2
  5. {lean_runtime-4.21.0 → lean_runtime-4.22.0/lean_runtime.egg-info}/PKG-INFO +1 -1
  6. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/pyproject.toml +1 -1
  7. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/LICENSE +0 -0
  8. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/MANIFEST.in +0 -0
  9. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/README.md +0 -0
  10. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/environments.toml +0 -0
  11. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/core-v4.32.2.lock.json +0 -0
  12. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/leancert-v4.30.0.5.lock.json +0 -0
  13. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/leancert-v4.31.0.lock.json +0 -0
  14. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/leancert-v4.32.2.4.lock.json +0 -0
  15. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/leancert-v4.33.0.lock.json +0 -0
  16. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/mathlib-v4.30.0.lock.json +0 -0
  17. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/mathlib-v4.31.0.lock.json +0 -0
  18. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/mathlib-v4.32.2.lock.json +0 -0
  19. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/mathlib-v4.33.0.lock.json +0 -0
  20. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/catalog/locks/mathlib-v4.33.1.lock.json +0 -0
  21. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/compatibility/README.md +0 -0
  22. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/compatibility/lake-artifact-cache-4.33.0.json +0 -0
  23. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/compatibility/mathlib-4.32.2.json +0 -0
  24. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/compatibility/mathlib-4.32.2.toml +0 -0
  25. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/compatibility/mathlib-4.33.0.json +0 -0
  26. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/compatibility/mathlib-4.33.0.toml +0 -0
  27. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/concepts/context-selection.md +0 -0
  28. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/index.md +0 -0
  29. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/reference/commands.md +0 -0
  30. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/reference/python-advanced.md +0 -0
  31. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/reference/python-api.md +0 -0
  32. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/reference/storage.md +0 -0
  33. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/trust.md +0 -0
  34. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/tutorial.md +0 -0
  35. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/workflows/check-files.md +0 -0
  36. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/docs/workflows/lake-projects.md +0 -0
  37. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/examples/mathlib.toml +0 -0
  38. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/__init__.py +0 -0
  39. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/__main__.py +0 -0
  40. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/_git.py +0 -0
  41. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/_paths.py +0 -0
  42. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/backends.py +0 -0
  43. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/bundles.py +0 -0
  44. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/capsules.py +0 -0
  45. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/comparison.py +0 -0
  46. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/console.py +0 -0
  47. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/context_resolution.py +0 -0
  48. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/decisions.py +0 -0
  49. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/declaration_index.py +0 -0
  50. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/declaration_index_build.py +0 -0
  51. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/declaration_index_oci.py +0 -0
  52. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/diagnostics.py +0 -0
  53. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/__init__.py +0 -0
  54. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/analyzer.py +0 -0
  55. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/api.py +0 -0
  56. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/candidate.py +0 -0
  57. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/catalog.py +0 -0
  58. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/catalog_build.py +0 -0
  59. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/catalog_cli.py +0 -0
  60. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/catalog_manifest.py +0 -0
  61. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/data/catalog.json +0 -0
  62. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/defaults.py +0 -0
  63. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/engine.py +0 -0
  64. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/errors.py +0 -0
  65. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/history.py +0 -0
  66. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/memo.py +0 -0
  67. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/module_inventory.py +0 -0
  68. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/planner.py +0 -0
  69. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/policy.py +0 -0
  70. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/probe.py +0 -0
  71. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/py.typed +0 -0
  72. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/result.py +0 -0
  73. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/schema_resources.py +0 -0
  74. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/schemas/catalog-v1.schema.json +0 -0
  75. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/schemas/plan-v1.schema.json +0 -0
  76. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/discovery/schemas/result-v1.schema.json +0 -0
  77. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/environments.py +0 -0
  78. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/errors.py +0 -0
  79. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/events.py +0 -0
  80. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/facade.py +0 -0
  81. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/frontmatter.py +0 -0
  82. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/header_cache.py +0 -0
  83. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/identifier_resolver.py +0 -0
  84. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/import_syntax.py +0 -0
  85. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/lake.py +0 -0
  86. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/lake_cache.py +0 -0
  87. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/lockfiles.py +0 -0
  88. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/locking.py +0 -0
  89. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/matrix.py +0 -0
  90. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/models.py +0 -0
  91. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/oci.py +0 -0
  92. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/oci_protocol.py +0 -0
  93. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/packs.py +0 -0
  94. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/policies.py +0 -0
  95. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/profiling.py +0 -0
  96. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/programs.py +0 -0
  97. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/project_execution.py +0 -0
  98. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/project_sharing.py +0 -0
  99. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/projects.py +0 -0
  100. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/publisher_verification.py +0 -0
  101. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/py.typed +0 -0
  102. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/references.py +0 -0
  103. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/resolver.py +0 -0
  104. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/run_cli.py +0 -0
  105. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/runtime.py +0 -0
  106. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/schema_resources.py +0 -0
  107. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/serialization.py +0 -0
  108. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/shared_projects.py +0 -0
  109. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/specs.py +0 -0
  110. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/store.py +0 -0
  111. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/timings.py +0 -0
  112. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/toolchain_oci.py +0 -0
  113. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/toolchain_slim.py +0 -0
  114. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/toolchains.py +0 -0
  115. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/verification.py +0 -0
  116. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime/wire.py +0 -0
  117. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime.egg-info/SOURCES.txt +0 -0
  118. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime.egg-info/dependency_links.txt +0 -0
  119. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime.egg-info/entry_points.txt +0 -0
  120. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime.egg-info/requires.txt +0 -0
  121. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/lean_runtime.egg-info/top_level.txt +0 -0
  122. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/mkdocs.yml +0 -0
  123. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/attestation-v1.schema.json +0 -0
  124. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/check-batch-v1.schema.json +0 -0
  125. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/cleanup-v1.schema.json +0 -0
  126. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/comparison-v1.schema.json +0 -0
  127. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/execution-v1.schema.json +0 -0
  128. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/inspect-v1.schema.json +0 -0
  129. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/matrix-v1.schema.json +0 -0
  130. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/plan-v1.schema.json +0 -0
  131. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/profile-v1.schema.json +0 -0
  132. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/publication-v1.schema.json +0 -0
  133. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/schemas/verify-v1.schema.json +0 -0
  134. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/announcement_gate.py +0 -0
  135. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/catalog_update.py +0 -0
  136. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/lake_cache_gate.py +0 -0
  137. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/prepare_declaration_index.py +0 -0
  138. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/publish_declaration_index.py +0 -0
  139. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/registry_preflight.py +0 -0
  140. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/run_compatibility.py +0 -0
  141. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/run_v1_case_study.py +0 -0
  142. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/scripts/smoke_wheel.py +0 -0
  143. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/setup.cfg +0 -0
  144. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/conftest.py +0 -0
  145. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/e2e/test_real_discovery.py +0 -0
  146. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_analyzer.py +0 -0
  147. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_catalog.py +0 -0
  148. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_catalog_build.py +0 -0
  149. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_discovery_schema_resources.py +0 -0
  150. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_engine.py +0 -0
  151. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_memo.py +0 -0
  152. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_planner.py +0 -0
  153. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/discovery/test_policy.py +0 -0
  154. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_announcement_gate.py +0 -0
  155. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_backend.py +0 -0
  156. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_bundles.py +0 -0
  157. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_capsules.py +0 -0
  158. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_cli.py +0 -0
  159. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_console.py +0 -0
  160. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_context_resolution.py +0 -0
  161. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_declaration_index.py +0 -0
  162. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_diagnostics.py +0 -0
  163. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_environment_integration.py +0 -0
  164. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_events_health.py +0 -0
  165. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_facade.py +0 -0
  166. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_frontmatter.py +0 -0
  167. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_git.py +0 -0
  168. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_header_cache.py +0 -0
  169. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_identifier_resolver.py +0 -0
  170. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_interactive.py +0 -0
  171. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_lake_cache.py +0 -0
  172. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_lockfiles.py +0 -0
  173. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_locking.py +0 -0
  174. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_models.py +0 -0
  175. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_multifile.py +0 -0
  176. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_oci_protocol.py +0 -0
  177. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_packs.py +0 -0
  178. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_paths.py +0 -0
  179. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_prebuilt_policy.py +0 -0
  180. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_programs.py +0 -0
  181. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_project_publish.py +0 -0
  182. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_projects.py +0 -0
  183. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_references.py +0 -0
  184. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_run_cli.py +0 -0
  185. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_runtime.py +0 -0
  186. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_schema_resources.py +0 -0
  187. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_schemas.py +0 -0
  188. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_signatures.py +0 -0
  189. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_specs.py +0 -0
  190. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_store.py +0 -0
  191. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_toolchain_oci.py +0 -0
  192. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_toolchain_slim.py +0 -0
  193. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_toolchains.py +0 -0
  194. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_v1_precision.py +0 -0
  195. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_verification_inventory.py +0 -0
  196. {lean_runtime-4.21.0 → lean_runtime-4.22.0}/tests/test_verification_probe.py +0 -0
{lean_runtime-4.21.0 → lean_runtime-4.22.0}/CHANGELOG.md RENAMED
@@ -2,6 +2,8 @@
2
2
 
3
3
  ## Unreleased
4
4
 
5
+ ## 4.22.0 - 2026-08-23
6
+
5
7
  ## 4.21.0 - 2026-08-23
6
8
 
7
9
  ## 4.2.0 - 2026-08-23
{lean_runtime-4.21.0/lean_runtime.egg-info → lean_runtime-4.22.0}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: lean-runtime
3
- Version: 4.21.0
3
+ Version: 4.22.0
4
4
  Summary: Run Lean 4 proofs from Python or standalone files
5
5
  Author: Alejandro Radisic
6
6
  License-Expression: Apache-2.0