LICENSE
README.md
pyproject.toml
python/src/main/__init__.py
python/src/main/generator.py
python/src/main/parser.py
python/src/mathsys.egg-info/PKG-INFO
python/src/mathsys.egg-info/SOURCES.txt
python/src/mathsys.egg-info/dependency_links.txt
python/src/mathsys.egg-info/top_level.txt
python/src/syntax/__init__.py
python/src/syntax/strict.py