├── .gitignore ├── LICENSE ├── README.md ├── chyp-screen.png ├── chyp ├── __init__.py ├── __main__.py ├── checker.py ├── graph.py ├── gui │ ├── __init__.py │ ├── app.py │ ├── codeview.py │ ├── colors.py │ ├── completion.py │ ├── document.py │ ├── editor.py │ ├── errorlistmodel.py │ ├── graphscene.py │ ├── graphview.py │ ├── highlighter.py │ ├── mainwindow.py │ └── proofstatemodel.py ├── layout.py ├── matcher.py ├── parser.py ├── parts.py ├── proofstate.py ├── py.typed ├── rewrite.py ├── rule.py ├── scraps.py ├── state.py ├── tactic │ ├── __init__.py │ ├── ruletac.py │ └── simptac.py └── term.py ├── docs ├── Makefile ├── conf.py ├── index.rst ├── make.bat └── requirements.txt ├── example.png ├── examples ├── frobenius.chyp ├── hopf.chyp ├── interacting_s_hopf.chyp ├── module.chyp ├── proof_test.chyp ├── qt_modules.chyp ├── quasi_tri.chyp ├── sized_rewriting.chyp ├── smc.chyp ├── ssfa.chyp ├── typed_module.chyp └── typed_rewriting.chyp ├── mypy.ini ├── pyproject.toml └── setup.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/README.md -------------------------------------------------------------------------------- /chyp-screen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp-screen.png -------------------------------------------------------------------------------- /chyp/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/__init__.py -------------------------------------------------------------------------------- /chyp/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/__main__.py -------------------------------------------------------------------------------- /chyp/checker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/checker.py -------------------------------------------------------------------------------- /chyp/graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/graph.py -------------------------------------------------------------------------------- /chyp/gui/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/__init__.py -------------------------------------------------------------------------------- /chyp/gui/app.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/app.py -------------------------------------------------------------------------------- /chyp/gui/codeview.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/codeview.py -------------------------------------------------------------------------------- /chyp/gui/colors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/colors.py -------------------------------------------------------------------------------- /chyp/gui/completion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/completion.py -------------------------------------------------------------------------------- /chyp/gui/document.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/document.py -------------------------------------------------------------------------------- /chyp/gui/editor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/editor.py -------------------------------------------------------------------------------- /chyp/gui/errorlistmodel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/errorlistmodel.py -------------------------------------------------------------------------------- /chyp/gui/graphscene.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/graphscene.py -------------------------------------------------------------------------------- /chyp/gui/graphview.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/graphview.py -------------------------------------------------------------------------------- /chyp/gui/highlighter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/highlighter.py -------------------------------------------------------------------------------- /chyp/gui/mainwindow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/mainwindow.py -------------------------------------------------------------------------------- /chyp/gui/proofstatemodel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/gui/proofstatemodel.py -------------------------------------------------------------------------------- /chyp/layout.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/layout.py -------------------------------------------------------------------------------- /chyp/matcher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/matcher.py -------------------------------------------------------------------------------- /chyp/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/parser.py -------------------------------------------------------------------------------- /chyp/parts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/parts.py -------------------------------------------------------------------------------- /chyp/proofstate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/proofstate.py -------------------------------------------------------------------------------- /chyp/py.typed: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /chyp/rewrite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/rewrite.py -------------------------------------------------------------------------------- /chyp/rule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/rule.py -------------------------------------------------------------------------------- /chyp/scraps.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/scraps.py -------------------------------------------------------------------------------- /chyp/state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/state.py -------------------------------------------------------------------------------- /chyp/tactic/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/tactic/__init__.py -------------------------------------------------------------------------------- /chyp/tactic/ruletac.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/tactic/ruletac.py -------------------------------------------------------------------------------- /chyp/tactic/simptac.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/tactic/simptac.py -------------------------------------------------------------------------------- /chyp/term.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/chyp/term.py -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- 1 | sphinx-autodoc-typehints 2 | PySide6 3 | lark 4 | cvxpy 5 | -------------------------------------------------------------------------------- /example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/example.png -------------------------------------------------------------------------------- /examples/frobenius.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/frobenius.chyp -------------------------------------------------------------------------------- /examples/hopf.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/hopf.chyp -------------------------------------------------------------------------------- /examples/interacting_s_hopf.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/interacting_s_hopf.chyp -------------------------------------------------------------------------------- /examples/module.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/module.chyp -------------------------------------------------------------------------------- /examples/proof_test.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/proof_test.chyp -------------------------------------------------------------------------------- /examples/qt_modules.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/qt_modules.chyp -------------------------------------------------------------------------------- /examples/quasi_tri.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/quasi_tri.chyp -------------------------------------------------------------------------------- /examples/sized_rewriting.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/sized_rewriting.chyp -------------------------------------------------------------------------------- /examples/smc.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/smc.chyp -------------------------------------------------------------------------------- /examples/ssfa.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/ssfa.chyp -------------------------------------------------------------------------------- /examples/typed_module.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/typed_module.chyp -------------------------------------------------------------------------------- /examples/typed_rewriting.chyp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/examples/typed_rewriting.chyp -------------------------------------------------------------------------------- /mypy.ini: -------------------------------------------------------------------------------- 1 | [mypy] 2 | disallow_untyped_defs = True 3 | -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/akissinger/chyp/HEAD/setup.py --------------------------------------------------------------------------------