LICENSE
README.md
pyproject.toml
python/mathsys/__init__.py
python/mathsys/py.typed
python/mathsys.egg-info/PKG-INFO
python/mathsys.egg-info/SOURCES.txt
python/mathsys.egg-info/dependency_links.txt
python/mathsys.egg-info/top_level.txt
python/mathsys/__pycache__/__init__.cpython-311.pyc
python/mathsys/main/generator.py
python/mathsys/main/parser.py
python/mathsys/main/__pycache__/__init__.cpython-311.pyc
python/mathsys/main/__pycache__/__init__.cpython-313.pyc
python/mathsys/main/__pycache__/generator.cpython-311.pyc
python/mathsys/main/__pycache__/ir.cpython-311.pyc
python/mathsys/main/__pycache__/ir.cpython-313.pyc
python/mathsys/main/__pycache__/parser.cpython-311.pyc
python/mathsys/main/__pycache__/parser.cpython-313.pyc
python/mathsys/main/__pycache__/syntax.cpython-313.pyc
python/mathsys/main/__pycache__/tokenizer.cpython-313.pyc
python/mathsys/mathsys.egg-info/PKG-INFO
python/mathsys/mathsys.egg-info/SOURCES.txt
python/mathsys/mathsys.egg-info/dependency_links.txt
python/mathsys/mathsys.egg-info/top_level.txt
python/mathsys/syntax/strict.py
python/mathsys/syntax/__pycache__/__init__.cpython-311.pyc
python/mathsys/syntax/__pycache__/__init__.cpython-313.pyc
python/mathsys/syntax/__pycache__/strict.cpython-311.pyc
python/mathsys/syntax/__pycache__/strict.cpython-313.pyc
python/testing/__init__.py