User Activity

  • Committed [r9312]

    adding comments

  • Committed [r9311]

    adding comments

  • Committed [r9310]

    throwing derived_rule_may_not_contain_existenti...

  • Committed [r9309]

    adding experimental e:calculate built-in http:/...

  • Committed [r9308]

    typo

  • Committed [r9307]

    throwing not_supported_conclusion exception for...

  • Committed [r9306]

    throwing not_supported_conclusion exception whe...

  • Committed [r9305]

    correcing the output of lists in nt files (obs ...

View All

Personal Data

Username:
josd
Joined:
2003-03-22 16:41:22
Location:
Gent / Belgium / CET
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

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks