User Activity

  • Committed [r8247]

    fixing mila to have n3p header with additional ...

  • Committed [r8246]

    fixing mila to have n3p header with additional ...

  • Committed [r8245]

    fixing mila to have n3p header with additional ...

  • Committed [r8244]

    mila standing for 'mixed language approach'

  • Committed [r8243]

    mila standing for 'mixed language approach'

  • Committed [r8242]

    updated documentation

  • Committed [r8241]

    improving --proof to support mixing with lemmas

  • Committed [r8240]

    improving --proof to support mixing with lemmas

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