machinechecked 0.1.2__tar.gz → 0.1.3__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 (63) hide show
  1. {machinechecked-0.1.2 → machinechecked-0.1.3}/PKG-INFO +1 -1
  2. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/PKG-INFO +1 -1
  3. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/SOURCES.txt +2 -2
  4. machinechecked-0.1.2/engine/python/prooflens/web/assets/index-DY4pFtGh.js → machinechecked-0.1.3/engine/python/prooflens/web/assets/index-CEQVnsCC.js +29 -29
  5. machinechecked-0.1.2/engine/python/prooflens/web/assets/index-g0SLRgHD.css → machinechecked-0.1.3/engine/python/prooflens/web/assets/index-T9UdK0vf.css +1 -1
  6. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/index.html +2 -2
  7. {machinechecked-0.1.2 → machinechecked-0.1.3}/pyproject.toml +1 -1
  8. {machinechecked-0.1.2 → machinechecked-0.1.3}/LICENSE +0 -0
  9. {machinechecked-0.1.2 → machinechecked-0.1.3}/README.md +0 -0
  10. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/dependency_links.txt +0 -0
  11. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/entry_points.txt +0 -0
  12. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/requires.txt +0 -0
  13. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/top_level.txt +0 -0
  14. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/__init__.py +0 -0
  15. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/__main__.py +0 -0
  16. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/assess.py +0 -0
  17. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/audit.py +0 -0
  18. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/bundle.py +0 -0
  19. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/cli.py +0 -0
  20. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/config.py +0 -0
  21. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/data/ProofLensProbe.lean +0 -0
  22. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/data/prooflens.sty +0 -0
  23. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/data/schema/evidence.schema.json +0 -0
  24. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/data/schema/inventory.schema.json +0 -0
  25. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/data/schema/manifest-claim.schema.json +0 -0
  26. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/data/schema/manifest-index.schema.json +0 -0
  27. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/evidence.py +0 -0
  28. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/export.py +0 -0
  29. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/formalization.py +0 -0
  30. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/manifest.py +0 -0
  31. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/pdfclaims.py +0 -0
  32. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/pipeline.py +0 -0
  33. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/probe.py +0 -0
  34. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/promote.py +0 -0
  35. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/review_queue.py +0 -0
  36. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/reviews.py +0 -0
  37. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/schemas.py +0 -0
  38. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/server.py +0 -0
  39. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/simple.py +0 -0
  40. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/sources.py +0 -0
  41. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/tex.py +0 -0
  42. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/util.py +0 -0
  43. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2 +0 -0
  44. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2 +0 -0
  45. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2 +0 -0
  46. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2 +0 -0
  47. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2 +0 -0
  48. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Main-Bold-Cx986IdX.woff2 +0 -0
  49. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2 +0 -0
  50. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2 +0 -0
  51. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Main-Regular-B22Nviop.woff2 +0 -0
  52. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2 +0 -0
  53. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Math-Italic-t53AETM-.woff2 +0 -0
  54. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2 +0 -0
  55. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2 +0 -0
  56. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2 +0 -0
  57. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Script-Regular-D3wIWfF6.woff2 +0 -0
  58. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2 +0 -0
  59. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2 +0 -0
  60. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2 +0 -0
  61. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2 +0 -0
  62. {machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/prooflens/web/assets/pdf.worker.min-yatZIOMy.mjs +0 -0
  63. {machinechecked-0.1.2 → machinechecked-0.1.3}/setup.cfg +0 -0
{machinechecked-0.1.2 → machinechecked-0.1.3}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: machinechecked
3
- Version: 0.1.2
3
+ Version: 0.1.3
4
4
  Summary: Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes.
5
5
  License: Apache-2.0
6
6
  Project-URL: Homepage, https://machinechecked.org
{machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: machinechecked
3
- Version: 0.1.2
3
+ Version: 0.1.3
4
4
  Summary: Read a mathematical paper beside its Lean formalisation, and see claim by claim what Lean establishes.
5
5
  License: Apache-2.0
6
6
  Project-URL: Homepage, https://machinechecked.org
{machinechecked-0.1.2 → machinechecked-0.1.3}/engine/python/machinechecked.egg-info/SOURCES.txt RENAMED
@@ -56,6 +56,6 @@ engine/python/prooflens/web/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2
56
56
  engine/python/prooflens/web/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2
57
57
  engine/python/prooflens/web/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2
58
58
  engine/python/prooflens/web/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2
59
- engine/python/prooflens/web/assets/index-DY4pFtGh.js
60
- engine/python/prooflens/web/assets/index-g0SLRgHD.css
59
+ engine/python/prooflens/web/assets/index-CEQVnsCC.js
60
+ engine/python/prooflens/web/assets/index-T9UdK0vf.css
61
61
  engine/python/prooflens/web/assets/pdf.worker.min-yatZIOMy.mjs