LICENSE.md
README.md
pyproject.toml
setup.py
datasets/current/add_license.py
pytact/README.md
pytact/__init__.py
pytact/common.py
pytact/data_reader.cpp
pytact/data_reader.pyi
pytact/data_reader.pyx
pytact/fake_coq_client.py
pytact/fake_python_server.py
pytact/generate_api.py
pytact/graph_api.capnp
pytact/graph_api.capnp.cpp
pytact/graph_api.capnp.h
pytact/graph_api_capnp_cython.cpp
pytact/graph_api_capnp_cython.pxd
pytact/graph_api_capnp_cython.pyx
pytact/graph_sanity_check.py
pytact/graph_visualize.py
pytact/graph_visualize_browse.py
pytact/oracle_server.py
pytact/prover.py
pytact/py.typed
pytact/visualisation_webserver.py
pytact/scripts/__init__.py
pytact/scripts/analyze_oracle.py
pytact/scripts/check_axioms.py
pytact/scripts/largest_global_context.py
pytact/scripts/lemma_distance.py
pytact/scripts/lemma_size.py
pytact/scripts/lemmas_new_tactic.py
pytact/scripts/print_tactic_hash.py
pytact/scripts/ssreflect_dependees.py
pytact/scripts/web.py
pytact/templates/capnp_cython.pxd
pytact/templates/capnp_cython.pyx
pytact/templates/visualizer.html
pytact/tests/TestReinforceStdin.v
pytact/tests/TestReinforceTcp.v
pytact/tests/prop4.txt
pytactician.egg-info/PKG-INFO
pytactician.egg-info/SOURCES.txt
pytactician.egg-info/dependency_links.txt
pytactician.egg-info/entry_points.txt
pytactician.egg-info/requires.txt
pytactician.egg-info/top_level.txt