LICENSE.bsd-2.md
LICENSE.bsd-3.md
LICENSE.gpl3.md
LICENSE.mit.md
README.md
pyproject.toml
src/formal/__init__.py
src/formal/__main__.py
src/formal/cli.py
src/formal/generator.py
src/formal/scaffold.py
src/formal_ford2vitepress.egg-info/PKG-INFO
src/formal_ford2vitepress.egg-info/SOURCES.txt
src/formal_ford2vitepress.egg-info/dependency_links.txt
src/formal_ford2vitepress.egg-info/entry_points.txt
src/formal_ford2vitepress.egg-info/requires.txt
src/formal_ford2vitepress.egg-info/top_level.txt
tests/test_classify.py
tests/test_cli.py
tests/test_entity_formatters.py
tests/test_formatting.py
tests/test_integration.py
tests/test_scaffold.py