User Activity

  • Committed [3518b2]

    Fix: Calculation of 'schematic_term'

  • Committed [700cfc]

    Syntax support for proofs by contradiction

  • Committed [3949cd]

    Backward rule checker relaxed

  • Committed [a2f2f4]

    Removed 'infinite' loop checker in forward close

  • Committed [5c1dd2]

    Fix: Unexpected lambda expression is possible a...

  • Committed [296c4e]

    Improved syntax for proofs with inductively def...

  • Committed [26672c]

    Added injectivity theorem

  • Committed [f4f0f8]

    Fix: Inductive set proof has to prove the goal

View All

Personal Data

Username:
helmut_brandl
Joined:
2003-03-26 16:04:26

Projects

  • Project Logo Eiffel   Last Updated:
  • Project Logo Modern Eiffel The language Modern Eiffel Last Updated:
  • Project Logo alb Implementation of the Albatross programming language Last Updated:
  • Project Logo alba-lang A compiler/verifier for the albatross language Last Updated:
  • Project Logo albatross The Albatross Programming Language 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