User Activity

  • Committed [65ec3f]

    Added package for definition by specification.

  • Committed [63337d]

    Added optional theorem names for the constant definitions added during

  • Committed [d3512d]

    *** empty log message ***

  • Committed [05416b]

    Changed bstring argument to xstring.

  • Committed [fb9c39]

    Added the specification command.

  • Committed [d2a0fd]

    Added handling of free variables (provided they are of sort HOL.type).

  • Committed [433f9a]

    Added handling of meta implication and meta quantification.

  • Committed [8c3fab]

    Allowed for splitting the specification over several lemmas.

View All

Personal Data

Username:
skalberg
Joined:
2001-12-11 13:24:31

Projects

This is a list of open source software projects that Sebastian Skalberg is associated with:

  • Belle   Last Updated:

Personal Tools

MongoDB Logo MongoDB