├── .github └── workflows │ ├── doc.yaml │ └── test.yaml ├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── doc ├── .gitignore ├── _config.yml ├── _toc.yml ├── agent-search.ipynb ├── api-data.rst ├── api-expr.rst ├── api-message.rst ├── api-search.rst ├── api-server.rst ├── frontend.ipynb ├── goal.ipynb ├── intro.md └── setup.md ├── examples ├── Example │ ├── .gitignore │ ├── Example.lean │ ├── lake-manifest.json │ ├── lakefile.lean │ └── lean-toolchain ├── README.md ├── aesop.py ├── branch-sorry.py ├── simple.py └── sketch.py ├── pantograph ├── .gitignore ├── __init__.py ├── data.py ├── expr.py ├── message.py ├── search.py ├── server.py ├── test_message.py ├── test_search.py ├── test_server.py └── utils.py ├── pyproject.toml └── uv.lock /.github/workflows/doc.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/.github/workflows/doc.yaml -------------------------------------------------------------------------------- /.github/workflows/test.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/.github/workflows/test.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/README.md -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- 1 | /_build 2 | -------------------------------------------------------------------------------- /doc/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/_config.yml -------------------------------------------------------------------------------- /doc/_toc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/_toc.yml -------------------------------------------------------------------------------- /doc/agent-search.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/agent-search.ipynb -------------------------------------------------------------------------------- /doc/api-data.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/api-data.rst -------------------------------------------------------------------------------- /doc/api-expr.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/api-expr.rst -------------------------------------------------------------------------------- /doc/api-message.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/api-message.rst -------------------------------------------------------------------------------- /doc/api-search.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/api-search.rst -------------------------------------------------------------------------------- /doc/api-server.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/api-server.rst -------------------------------------------------------------------------------- /doc/frontend.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/frontend.ipynb -------------------------------------------------------------------------------- /doc/goal.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/goal.ipynb -------------------------------------------------------------------------------- /doc/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/intro.md -------------------------------------------------------------------------------- /doc/setup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/doc/setup.md -------------------------------------------------------------------------------- /examples/Example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/Example/.gitignore -------------------------------------------------------------------------------- /examples/Example/Example.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/Example/Example.lean -------------------------------------------------------------------------------- /examples/Example/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/Example/lake-manifest.json -------------------------------------------------------------------------------- /examples/Example/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/Example/lakefile.lean -------------------------------------------------------------------------------- /examples/Example/lean-toolchain: -------------------------------------------------------------------------------- 1 | ../../src/lean-toolchain -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/aesop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/aesop.py -------------------------------------------------------------------------------- /examples/branch-sorry.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/branch-sorry.py -------------------------------------------------------------------------------- /examples/simple.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/simple.py -------------------------------------------------------------------------------- /examples/sketch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/examples/sketch.py -------------------------------------------------------------------------------- /pantograph/.gitignore: -------------------------------------------------------------------------------- 1 | pantograph-repl 2 | lean-toolchain 3 | -------------------------------------------------------------------------------- /pantograph/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/__init__.py -------------------------------------------------------------------------------- /pantograph/data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/data.py -------------------------------------------------------------------------------- /pantograph/expr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/expr.py -------------------------------------------------------------------------------- /pantograph/message.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/message.py -------------------------------------------------------------------------------- /pantograph/search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/search.py -------------------------------------------------------------------------------- /pantograph/server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/server.py -------------------------------------------------------------------------------- /pantograph/test_message.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/test_message.py -------------------------------------------------------------------------------- /pantograph/test_search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/test_search.py -------------------------------------------------------------------------------- /pantograph/test_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/test_server.py -------------------------------------------------------------------------------- /pantograph/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pantograph/utils.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/pyproject.toml -------------------------------------------------------------------------------- /uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stanford-centaur/PyPantograph/HEAD/uv.lock --------------------------------------------------------------------------------