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