- code goes into /src

- prose in /doc

- /experimental is a playground

- I run these queries on graphdb which contains a subset
  of the exported Coq and Isabelle dataset.

- I can't run it on the whole datasaet yet because my
  computer would explode.