User Activity

  • Committed [r8350]

    introducing predicators i.e. rules using <= in N3

  • Committed [r8349]

    introducing predicators i.e. rules using <= in N3

  • Committed [r8348]

    introducing predicators i.e. rules using <= in N3

  • Committed [r8347]

    introducing predicators i.e. N3 rules using <=

  • Committed [r8346]

    introducing subgoals i.e. N3 rules using <=

  • Committed [r8345]

    introducing dynamics i.e. rules using <= in N3

  • Committed [r8344]

    adding --tactic=existing-path to have Euler pat...

  • Committed [r8343]

    making implicit quantification according to htt...

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