LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
pycoq/__init__.py
pycoq/agent.py
pycoq/common.py
pycoq/config.py
pycoq/kernel.py
pycoq/log.py
pycoq/opam.py
pycoq/pycoq_trace.py
pycoq/pycoq_trace_config.py
pycoq/query_goals.py
pycoq/serapi.py
pycoq/sexp.py
pycoq/split.py
pycoq/trace.py
pycoq.egg-info/PKG-INFO
pycoq.egg-info/SOURCES.txt
pycoq.egg-info/dependency_links.txt
pycoq.egg-info/entry_points.txt
pycoq.egg-info/requires.txt
pycoq.egg-info/top_level.txt
pycoq/test/test_autoagent.py
pycoq/test/test_query_goals.py
pycoq/test/test_serapi.py
pycoq/test/test_serlib.py
pycoq/test/test_trace.py
pycoq/test/autoagent/agent0.log
pycoq/test/autoagent/agent1.log
pycoq/test/autoagent/agent10.log
pycoq/test/autoagent/agent3.log
pycoq/test/lf/Basics.v
pycoq/test/lf/Basics.v._pytest_signature_query_goals
pycoq/test/lf/Induction.v
pycoq/test/lf/Induction.v._pytest_signature_query_goals
pycoq/test/lf/LICENSE
pycoq/test/lf/Makefile
pycoq/test/lf/Propositions.v
pycoq/test/lf/Propositions.v._pytest_signature_query_goals
pycoq/test/lf/README.md
pycoq/test/lf/TwoGoals.v
pycoq/test/lf/TwoGoals.v._pytest_signature_query_goals
pycoq/test/lf/_CoqProject
pycoq/test/lf/lf.opam
pycoq/test/query_goals/input1.in
pycoq/test/query_goals/input1_int.out
pycoq/test/query_goals/input1_str.out
pycoq/test/serlib/input0.in
pycoq/test/serlib/input0.out
pycoq/test/serlib/input1.in
pycoq/test/serlib/input2.in
pycoq/test/trace/t1.in
pycoq/test/trace/t1.out
pycoq/test/trace/t1.out0
pycoq/test/trace/t1.out1
serlib/__init__.py
serlib/cparser.cpp
serlib/parser.py