├── .gitignore ├── .gitmodules ├── Agent ├── .env.example ├── IsaMini_Agent.egg-info │ ├── PKG-INFO │ ├── SOURCES.txt │ ├── dependency_links.txt │ ├── requires.txt │ └── top_level.txt ├── IsaMini_Agent │ ├── IsaMini_Agent.py │ ├── __init__.py │ ├── driver.py │ ├── drivers │ │ ├── Gemini.py │ │ └── Langchain.py │ └── prompts │ │ ├── gemini.json │ │ └── gemini.md ├── Minilang_Agent.thy ├── Minilang_Agent_Server.thy ├── agent.ML ├── agent_packer.ML ├── agent_server.ML ├── logs │ └── .placeholder ├── pyproject.toml ├── pyrightconfig.json ├── requirements.txt ├── tactic.ML ├── test.py └── test_langchain.py ├── COPYING ├── COPYING.LESSER ├── COPYRIGHT ├── Isa_Mini ├── Isa_Mini.py ├── __init__.py └── main.py ├── MS_Test.thy ├── Minilang.thy ├── Minilang_Base.thy ├── REPL ├── Minilang_Top.thy └── library │ └── toplevel.ML ├── ROOT ├── Readme.md ├── TODO.md ├── Test └── MS_Test.thy ├── doc ├── Docs │ ├── .obsidian │ │ ├── app.json │ │ ├── appearance.json │ │ ├── graph.json │ │ └── snippets │ │ │ └── fuck_wider.css │ ├── Hierarchical Prompt.md │ └── MiniLang Prompt.md ├── Language and Protocol.md └── Readme.md ├── library ├── aux.ML ├── aux_thms.ML └── proof.ML ├── pyproject.toml ├── statistics.py └── translator.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/.gitmodules -------------------------------------------------------------------------------- /Agent/.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/.env.example -------------------------------------------------------------------------------- /Agent/IsaMini_Agent.egg-info/PKG-INFO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent.egg-info/PKG-INFO -------------------------------------------------------------------------------- /Agent/IsaMini_Agent.egg-info/SOURCES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent.egg-info/SOURCES.txt -------------------------------------------------------------------------------- /Agent/IsaMini_Agent.egg-info/dependency_links.txt: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /Agent/IsaMini_Agent.egg-info/requires.txt: -------------------------------------------------------------------------------- 1 | msgpack 2 | -------------------------------------------------------------------------------- /Agent/IsaMini_Agent.egg-info/top_level.txt: -------------------------------------------------------------------------------- 1 | IsaMini_Agent 2 | -------------------------------------------------------------------------------- /Agent/IsaMini_Agent/IsaMini_Agent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent/IsaMini_Agent.py -------------------------------------------------------------------------------- /Agent/IsaMini_Agent/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent/__init__.py -------------------------------------------------------------------------------- /Agent/IsaMini_Agent/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent/driver.py -------------------------------------------------------------------------------- /Agent/IsaMini_Agent/drivers/Gemini.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent/drivers/Gemini.py -------------------------------------------------------------------------------- /Agent/IsaMini_Agent/drivers/Langchain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent/drivers/Langchain.py -------------------------------------------------------------------------------- /Agent/IsaMini_Agent/prompts/gemini.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent/prompts/gemini.json -------------------------------------------------------------------------------- /Agent/IsaMini_Agent/prompts/gemini.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/IsaMini_Agent/prompts/gemini.md -------------------------------------------------------------------------------- /Agent/Minilang_Agent.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/Minilang_Agent.thy -------------------------------------------------------------------------------- /Agent/Minilang_Agent_Server.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/Minilang_Agent_Server.thy -------------------------------------------------------------------------------- /Agent/agent.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/agent.ML -------------------------------------------------------------------------------- /Agent/agent_packer.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/agent_packer.ML -------------------------------------------------------------------------------- /Agent/agent_server.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/agent_server.ML -------------------------------------------------------------------------------- /Agent/logs/.placeholder: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /Agent/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/pyproject.toml -------------------------------------------------------------------------------- /Agent/pyrightconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/pyrightconfig.json -------------------------------------------------------------------------------- /Agent/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/requirements.txt -------------------------------------------------------------------------------- /Agent/tactic.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/tactic.ML -------------------------------------------------------------------------------- /Agent/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/test.py -------------------------------------------------------------------------------- /Agent/test_langchain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Agent/test_langchain.py -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/COPYING -------------------------------------------------------------------------------- /COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/COPYING.LESSER -------------------------------------------------------------------------------- /COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/COPYRIGHT -------------------------------------------------------------------------------- /Isa_Mini/Isa_Mini.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Isa_Mini/Isa_Mini.py -------------------------------------------------------------------------------- /Isa_Mini/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Isa_Mini/__init__.py -------------------------------------------------------------------------------- /Isa_Mini/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Isa_Mini/main.py -------------------------------------------------------------------------------- /MS_Test.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/MS_Test.thy -------------------------------------------------------------------------------- /Minilang.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Minilang.thy -------------------------------------------------------------------------------- /Minilang_Base.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Minilang_Base.thy -------------------------------------------------------------------------------- /REPL/Minilang_Top.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/REPL/Minilang_Top.thy -------------------------------------------------------------------------------- /REPL/library/toplevel.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/REPL/library/toplevel.ML -------------------------------------------------------------------------------- /ROOT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/ROOT -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- 1 | ./doc/Readme.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/TODO.md -------------------------------------------------------------------------------- /Test/MS_Test.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/Test/MS_Test.thy -------------------------------------------------------------------------------- /doc/Docs/.obsidian/app.json: -------------------------------------------------------------------------------- 1 | { 2 | "vimMode": true 3 | } -------------------------------------------------------------------------------- /doc/Docs/.obsidian/appearance.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/doc/Docs/.obsidian/appearance.json -------------------------------------------------------------------------------- /doc/Docs/.obsidian/graph.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/doc/Docs/.obsidian/graph.json -------------------------------------------------------------------------------- /doc/Docs/.obsidian/snippets/fuck_wider.css: -------------------------------------------------------------------------------- 1 | body { 2 | 3 | --file-line-width: 1000px; 4 | 5 | } 6 | -------------------------------------------------------------------------------- /doc/Docs/Hierarchical Prompt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/doc/Docs/Hierarchical Prompt.md -------------------------------------------------------------------------------- /doc/Docs/MiniLang Prompt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/doc/Docs/MiniLang Prompt.md -------------------------------------------------------------------------------- /doc/Language and Protocol.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/doc/Language and Protocol.md -------------------------------------------------------------------------------- /doc/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/doc/Readme.md -------------------------------------------------------------------------------- /library/aux.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/library/aux.ML -------------------------------------------------------------------------------- /library/aux_thms.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/library/aux_thms.ML -------------------------------------------------------------------------------- /library/proof.ML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/library/proof.ML -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/pyproject.toml -------------------------------------------------------------------------------- /statistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/statistics.py -------------------------------------------------------------------------------- /translator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xqyww123/Isa-Mini/HEAD/translator.py --------------------------------------------------------------------------------