LICENSE
README.md
pyproject.toml
engine/python/machinechecked.egg-info/PKG-INFO
engine/python/machinechecked.egg-info/SOURCES.txt
engine/python/machinechecked.egg-info/dependency_links.txt
engine/python/machinechecked.egg-info/entry_points.txt
engine/python/machinechecked.egg-info/requires.txt
engine/python/machinechecked.egg-info/top_level.txt
engine/python/prooflens/__init__.py
engine/python/prooflens/__main__.py
engine/python/prooflens/assess.py
engine/python/prooflens/audit.py
engine/python/prooflens/authoring.py
engine/python/prooflens/bundle.py
engine/python/prooflens/cache.py
engine/python/prooflens/changes.py
engine/python/prooflens/cli.py
engine/python/prooflens/compare.py
engine/python/prooflens/composition.py
engine/python/prooflens/config.py
engine/python/prooflens/deps.py
engine/python/prooflens/estimates.py
engine/python/prooflens/evidence.py
engine/python/prooflens/excerpt.py
engine/python/prooflens/export.py
engine/python/prooflens/facts.py
engine/python/prooflens/formalization.py
engine/python/prooflens/manifest.py
engine/python/prooflens/moddocs.py
engine/python/prooflens/numbering.py
engine/python/prooflens/paper.py
engine/python/prooflens/pdfclaims.py
engine/python/prooflens/pipeline.py
engine/python/prooflens/probe.py
engine/python/prooflens/promote.py
engine/python/prooflens/proof_facts.py
engine/python/prooflens/published.py
engine/python/prooflens/published_work.py
engine/python/prooflens/rebound.py
engine/python/prooflens/repin.py
engine/python/prooflens/replay.py
engine/python/prooflens/requirements.py
engine/python/prooflens/retrieval.py
engine/python/prooflens/review_citations.py
engine/python/prooflens/review_cli.py
engine/python/prooflens/review_queue.py
engine/python/prooflens/review_sources.py
engine/python/prooflens/reviews.py
engine/python/prooflens/schemas.py
engine/python/prooflens/server.py
engine/python/prooflens/simple.py
engine/python/prooflens/source_names.py
engine/python/prooflens/source_regions.py
engine/python/prooflens/sources.py
engine/python/prooflens/status.py
engine/python/prooflens/steps.py
engine/python/prooflens/symbols.py
engine/python/prooflens/targets.py
engine/python/prooflens/tex.py
engine/python/prooflens/uses.py
engine/python/prooflens/util.py
engine/python/prooflens/versions.py
engine/python/prooflens/workspace.py
engine/python/prooflens/data/ProofLensProbe.lean
engine/python/prooflens/data/prooflens.sty
engine/python/prooflens/data/statuses.json
engine/python/prooflens/data/schema/evidence.schema.json
engine/python/prooflens/data/schema/inventory.schema.json
engine/python/prooflens/data/schema/manifest-claim.schema.json
engine/python/prooflens/data/schema/manifest-index.schema.json
engine/python/prooflens/data/schema/published-work.schema.json
engine/python/prooflens/web/index.html
engine/python/prooflens/web/theme.css
engine/python/prooflens/web/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2
engine/python/prooflens/web/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2
engine/python/prooflens/web/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2
engine/python/prooflens/web/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2
engine/python/prooflens/web/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2
engine/python/prooflens/web/assets/KaTeX_Main-Bold-Cx986IdX.woff2
engine/python/prooflens/web/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2
engine/python/prooflens/web/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2
engine/python/prooflens/web/assets/KaTeX_Main-Regular-B22Nviop.woff2
engine/python/prooflens/web/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2
engine/python/prooflens/web/assets/KaTeX_Math-Italic-t53AETM-.woff2
engine/python/prooflens/web/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2
engine/python/prooflens/web/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2
engine/python/prooflens/web/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2
engine/python/prooflens/web/assets/KaTeX_Script-Regular-D3wIWfF6.woff2
engine/python/prooflens/web/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2
engine/python/prooflens/web/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2
engine/python/prooflens/web/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2
engine/python/prooflens/web/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2
engine/python/prooflens/web/assets/cursor-editorTextHighlight-kG3uUOwL.svg
engine/python/prooflens/web/assets/index-CwFwjzOl.js
engine/python/prooflens/web/assets/index-DSx7JAZ4.css
engine/python/prooflens/web/assets/pdf.worker.min-yatZIOMy.mjs