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/bundle.py
engine/python/prooflens/cache.py
engine/python/prooflens/cli.py
engine/python/prooflens/config.py
engine/python/prooflens/deps.py
engine/python/prooflens/evidence.py
engine/python/prooflens/export.py
engine/python/prooflens/formalization.py
engine/python/prooflens/manifest.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/replay.py
engine/python/prooflens/review_cli.py
engine/python/prooflens/review_queue.py
engine/python/prooflens/reviews.py
engine/python/prooflens/schemas.py
engine/python/prooflens/server.py
engine/python/prooflens/simple.py
engine/python/prooflens/sources.py
engine/python/prooflens/symbols.py
engine/python/prooflens/tex.py
engine/python/prooflens/util.py
engine/python/prooflens/data/ProofLensProbe.lean
engine/python/prooflens/data/prooflens.sty
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/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/index-CF9Ifrju.css
engine/python/prooflens/web/assets/index-CsVq8qV_.js
engine/python/prooflens/web/assets/pdf.worker.min-yatZIOMy.mjs