User Activity

  • Committed [87a8ab]

    Proof of the Schorr-Waite graph marking algorithm.

  • Committed [e25376]

    *** empty log message ***

  • Committed [f6488b]

    *** empty log message ***

  • Committed [0ccba8]

    *** empty log message ***

  • Committed [9598f5]

    *** empty log message ***

  • Committed [51dc6c]

    new

  • Committed [7be4d5]

    lemma drop_Suc_conv_tl added.

  • Committed [dde816]

    New simp rules added:

View All

Personal Data

Username:
mehta
Joined:
2004-04-22 14:16:25

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB