LICENSE
README.md
pyproject.toml
src/axsent/__init__.py
src/axsent/agda.py
src/axsent/cli.py
src/axsent/isa_strip.py
src/axsent/isabelle.py
src/axsent/rocq.py
src/axsent.egg-info/PKG-INFO
src/axsent.egg-info/SOURCES.txt
src/axsent.egg-info/dependency_links.txt
src/axsent.egg-info/entry_points.txt
src/axsent.egg-info/top_level.txt
tests/test_readers.py