User Activity

  • Committed [r9253]

    refine

  • Committed [r9252]

    fixing issue with proof output for backward rules

  • Committed [r9251]

    fixing issue with proof output for backward rules

  • Committed [r9250]

    fixing issue with proof output for backward rules

  • Committed [r9249]

    fixing e:call to deal with variable formulae

  • Committed [r9248]

    giving output information about networking as e...

  • Committed [r9247]

    fixing poor indexing issue in proof generation

  • Committed [r9246]

    repairing

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