Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fin/ulo-section
  • week45/fancy-builds
  • fin/applogos
  • week41/final-review
  • week41/review-again
  • week41/reporting-on-app
  • week40/apppep
  • week40/review-report
  • week40/elementary
  • week39/transitive
  • week39/lazy-scores
  • week39/application-sections-fix
  • week39/feedback-holes
  • week39/feedback-versioning
  • week38/slide-review
  • issue13/fix
  • issue13/version-upgrade
  • issue12/setup
  • issue10/explorer
20 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.