Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

User Activity

  • Committed [r7971]

    fixing --pvm and --nope to support Blueproof

  • Committed [r7970]

    fixing --pvm and --nope to support Blueproof

  • Committed [r7969]

    fixing --pvm and --nope to support Blueproof

  • Committed [r7968]

    fixing --pvm and --nope to support Blueproof

  • Committed [r7967]

    fixing --pvm and --nope to support Blueproof

  • Committed [r7966]

    correcting [ a r:Fact; r:gives {true}] to [ a r...

  • Committed [r7965]

    correcting [ a r:Fact; r:gives {true}] to [ a r...

  • Committed [r7964]

    correcting [ a r:Fact; r:gives {true}] to [ a r...

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