LICENSE
README.md
pyproject.toml
src/aristotlelib/__init__.py
src/aristotlelib/api_request.py
src/aristotlelib/date_utils.py
src/aristotlelib/local_file_utils.py
src/aristotlelib/project.py
src/aristotlelib.egg-info/PKG-INFO
src/aristotlelib.egg-info/SOURCES.txt
src/aristotlelib.egg-info/dependency_links.txt
src/aristotlelib.egg-info/entry_points.txt
src/aristotlelib.egg-info/requires.txt
src/aristotlelib.egg-info/top_level.txt
src/aristotlelib/cli/api_action.py
src/aristotlelib/cli/controller.py
src/aristotlelib/cli/prove_from_file.py
src/aristotlelib/cli/version.py
src/aristotlelib/tui/__init__.py
src/aristotlelib/tui/app.py
src/aristotlelib/tui/menu_options.py
src/aristotlelib/tui/terminal_size.py
src/aristotlelib/tui/components/__init__.py
src/aristotlelib/tui/components/api_key_setup.py
src/aristotlelib/tui/components/file_path_input.py
src/aristotlelib/tui/components/history_picker.py
src/aristotlelib/tui/components/history_table.py
src/aristotlelib/tui/components/integrated_menu.py
src/aristotlelib/tui/components/logo.py
src/aristotlelib/tui/components/message.py
src/aristotlelib/tui/components/progress.py
src/aristotlelib/tui/components/terminal_warning.py
src/aristotlelib/tui/workflows/__init__.py
src/aristotlelib/tui/workflows/download.py
src/aristotlelib/tui/workflows/history.py
src/aristotlelib/tui/workflows/reattach.py
src/aristotlelib/tui/workflows/unified_solve.py