User Activity

  • Committed [e35fd4]

    Implemented inspect proofs for inductive types

  • Committed [88eb5e]

    Added assertions to module 'binary_tree'

  • Committed [39ebe1]

    Resoning for inductively defined sets completed

  • Committed [59cda8]

    If proofs implemented

  • Committed [214e5a]

    Added syntax support for some-eliminiation proofs

  • Committed [057f11]

    Fix: Blocked rules

  • Committed [73685d]

    Minor edit

  • Committed [04a610]

    Revised implication chain sequence of the induc...

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