User Activity

  • Committed [r8303]

    improving --proof to use more lemmas

  • Committed [r8302]

    fixing bug in --strings command line switch (ob...

  • Committed [r8301]

    fixing bug in --strings command line switch (ob...

  • Committed [r8300]

    improving --proof <uri> to use more lemmas

  • Committed [r8299]

    fixing error when using owl:sameAs rules (obs f...

  • Committed [r8298]

    fixing error when using owl:sameAs rules (obs f...

  • Committed [r8297]

    adding --no-skolem command line switch to have ...

  • Committed [r8296]

    adding --no-skolem command line switch to have ...

View All

Personal Data

Username:
josd
Joined:
2003-03-22 16:41:22
Location:
Gent / Belgium / CEST
Gender:
Male

Projects

  • Project Logo EulerGUI   Last Updated:
  • Project Logo EulerMoz   Last Updated:
  • Project Logo EulerSharp Euler Yet another proof Engine Last Updated:

Skills

  • No skills entered.

Personal Tools