LICENSE
NOTICE
README.md
Readme.md
pyproject.toml
setup.cfg
NQPV.egg-info/PKG-INFO
NQPV.egg-info/SOURCES.txt
NQPV.egg-info/dependency_links.txt
NQPV.egg-info/requires.txt
NQPV.egg-info/top_level.txt
examples/__init__.py
examples/GroverN/__init__.py
examples/GroverN/example.py
nqpv/__init__.py
nqpv/entrance.py
nqpv/vsystem/__init__.py
nqpv/vsystem/log_system.py
nqpv/vsystem/opt_kernel.py
nqpv/vsystem/optenv.py
nqpv/vsystem/settings.py
nqpv/vsystem/var_scope.py
nqpv/vsystem/vkernel.py
nqpv/vsystem/content/__init__.py
nqpv/vsystem/content/opt_pair_term.py
nqpv/vsystem/content/opt_term.py
nqpv/vsystem/content/prog_term.py
nqpv/vsystem/content/proof_hint_term.py
nqpv/vsystem/content/proof_tacits.py
nqpv/vsystem/content/proof_term.py
nqpv/vsystem/content/qpre_term.py
nqpv/vsystem/content/qvarls_term.py
nqpv/vsystem/syntax/__init__.py
nqpv/vsystem/syntax/ast.py
nqpv/vsystem/syntax/parsetab.py
nqpv/vsystem/syntax/pos_info.py
nqpv/vsystem/syntax/vlexer.py
nqpv/vsystem/syntax/vparser.py