- 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.
