User Activity

  • Committed [50c279]

    Removed the parentheses around typed expressions

  • Committed [277660]

    Added sequence type

  • Committed [154405]

    Fix: Calculation of prenex normal form corrected

  • Committed [5af4ca]

    Added reasoning with conditional expressions

  • Committed [49bfa8]

    Added constructors and rules of inductive types

  • Committed [ff758a]

    Added a check for unused variables in quantifie...

  • Committed [dd542c]

    Removed unused function

  • Committed [1745c4]

    Syntax for inductive types added to the parser

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