LICENSE
README.md
pyproject.toml
lean_dojo_v2/__init__.py
lean_dojo_v2.egg-info/PKG-INFO
lean_dojo_v2.egg-info/SOURCES.txt
lean_dojo_v2.egg-info/dependency_links.txt
lean_dojo_v2.egg-info/requires.txt
lean_dojo_v2.egg-info/top_level.txt
lean_dojo_v2/agent/__init__.py
lean_dojo_v2/agent/base_agent.py
lean_dojo_v2/agent/external_agent.py
lean_dojo_v2/agent/hf_agent.py
lean_dojo_v2/agent/lean_agent.py
lean_dojo_v2/database/__init__.py
lean_dojo_v2/database/dynamic_database.py
lean_dojo_v2/database/models/__init__.py
lean_dojo_v2/database/models/annotations.py
lean_dojo_v2/database/models/premises.py
lean_dojo_v2/database/models/repository.py
lean_dojo_v2/database/models/theorems.py
lean_dojo_v2/external_api/ExternalAPI.lean
lean_dojo_v2/external_api/LeanCopilot.lean
lean_dojo_v2/external_api/lakefile.lean
lean_dojo_v2/external_api/LeanCopilot/Frontend.lean
lean_dojo_v2/external_api/LeanCopilot/Models.lean
lean_dojo_v2/external_api/LeanCopilot/Tactics.lean
lean_dojo_v2/external_api/LeanCopilot/Models/External.lean
lean_dojo_v2/external_api/LeanCopilot/Models/Interface.lean
lean_dojo_v2/external_api/python/leanprogress.py
lean_dojo_v2/external_api/python/models.py
lean_dojo_v2/external_api/python/server.py
lean_dojo_v2/external_api/python/external_models/__init__.py
lean_dojo_v2/external_api/python/external_models/external_parser.py
lean_dojo_v2/external_api/python/external_models/hf_runner.py
lean_dojo_v2/lean_agent/__init__.py
lean_dojo_v2/lean_agent/__main__.py
lean_dojo_v2/lean_agent/common.py
lean_dojo_v2/lean_agent/config.py
lean_dojo_v2/lean_agent/generator/__init__.py
lean_dojo_v2/lean_agent/generator/datamodule.py
lean_dojo_v2/lean_agent/generator/main.py
lean_dojo_v2/lean_agent/generator/model.py
lean_dojo_v2/lean_agent/generator/confs/cli_lean4_random.yaml
lean_dojo_v2/lean_agent/prover/__init__.py
lean_dojo_v2/lean_agent/prover/proof_search.py
lean_dojo_v2/lean_agent/prover/search_tree.py
lean_dojo_v2/lean_agent/retrieval/__init__.py
lean_dojo_v2/lean_agent/retrieval/datamodule.py
lean_dojo_v2/lean_agent/retrieval/main.py
lean_dojo_v2/lean_agent/retrieval/model.py
lean_dojo_v2/lean_agent/retrieval/confs/cli_lean4_random.yaml
lean_dojo_v2/lean_dojo/__init__.py
lean_dojo_v2/lean_dojo/data_extraction/ExtractData.lean
lean_dojo_v2/lean_dojo/data_extraction/ast.py
lean_dojo_v2/lean_dojo/data_extraction/cache.py
lean_dojo_v2/lean_dojo/data_extraction/dataset.py
lean_dojo_v2/lean_dojo/data_extraction/lean.py
lean_dojo_v2/lean_dojo/data_extraction/trace.py
lean_dojo_v2/lean_dojo/data_extraction/traced_data.py
lean_dojo_v2/lean_dojo/interaction/Lean4Repl.lean
lean_dojo_v2/lean_dojo/interaction/dojo.py
lean_dojo_v2/lean_dojo/interaction/parse_goals.py
lean_dojo_v2/lean_dojo/interaction/test.lean
lean_dojo_v2/lean_progress/__init__.py
lean_dojo_v2/lean_progress/create_sample_dataset.py
lean_dojo_v2/lean_progress/train_steps_model.py
lean_dojo_v2/prover/__init__.py
lean_dojo_v2/prover/base_prover.py
lean_dojo_v2/prover/external_prover.py
lean_dojo_v2/prover/hf_prover.py
lean_dojo_v2/prover/retrieval_prover.py
lean_dojo_v2/tests/__init__.py
lean_dojo_v2/tests/test_deepseek_loading.py
lean_dojo_v2/tests/test_leanprogress_examples.py
lean_dojo_v2/trainer/__init__.py
lean_dojo_v2/trainer/grpo_trainer.py
lean_dojo_v2/trainer/progress_trainer.py
lean_dojo_v2/trainer/retrieval_trainer.py
lean_dojo_v2/trainer/sft_trainer.py
lean_dojo_v2/utils/__init__.py
lean_dojo_v2/utils/common.py
lean_dojo_v2/utils/constants.py
lean_dojo_v2/utils/difficulty.py
lean_dojo_v2/utils/filesystem.py
lean_dojo_v2/utils/git.py
lean_dojo_v2/utils/lean.py
lean_dojo_v2/utils/repository.py