coq-tactician
datasets
dist
pytact
src
tests
theories
