LICENSE
MANIFEST.in
README.md
pyproject.toml
arxitex/__init__.py
arxitex/__main__.py
arxitex/types.py
arxitex.egg-info/PKG-INFO
arxitex.egg-info/SOURCES.txt
arxitex.egg-info/dependency_links.txt
arxitex.egg-info/entry_points.txt
arxitex.egg-info/requires.txt
arxitex.egg-info/top_level.txt
arxitex/lib/paper/bibliography/__init__.py
arxitex/lib/paper/catalog/__init__.py
arxitex/lib/paper/catalog/citations.py
arxitex/lib/paper/catalog/default_categories.py
arxitex/lib/paper/catalog/download_arxiv_metadata.py
arxitex/lib/statement/__init__.py
arxitex/lib/statement/connect_proofs.py
arxitex/lib/statement/errors.py
arxitex/lib/statement/extract_context.py
arxitex/lib/statement/guess_main_file.py
arxitex/lib/statement/remove_comments.py
arxitex/lib/statement/run_with_timeout.py
arxitex/lib/statement/validate_statements.py
arxitex/lib/statement/methods/__init__.py
arxitex/lib/statement/methods/_macros.py
arxitex/lib/statement/methods/base.py
arxitex/lib/statement/methods/llm/__init__.py
arxitex/lib/statement/methods/regex/__init__.py
arxitex/lib/statement/methods/regex/flatten.py
arxitex/lib/statement/methods/regex/log_envs.py
arxitex/lib/statement/methods/tex/__init__.py
arxitex/lib/statement/methods/tex/arxitex-hook.sty
arxitex/lib/utils/download_arxiv_paper.py
arxitex/lib/utils/download_s3_paper.py
tests/test_llm.py
tests/test_parser.py
tests/test_regex.py
tests/test_tex.py