Skip to content
Snippets Groups Projects
Select Git revision
0 results

inductive.sparql

Blame
    • Andreas Schärtl's avatar
      8e4f0ca2
      ulo: add queries directory · 8e4f0ca2
      Andreas Schärtl authored 
      - 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.
      8e4f0ca2
      History
      ulo: add queries directory
      Andreas Schärtl authored 
      - 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.