User Activity

  • Committed [b75ce4]

    dropped abbreviation "pred_comp"; introduced infix notation "P OO Q" for "relcompp P Q"

  • Committed [e1b761]

    manual merge

View All

Personal Data

Username:
griff
Joined:
2000-03-05 03:31:52

Projects

This is a list of open source software projects that Martin D Griffiths is associated with:

  • STonX   Last Updated:

Personal Tools

MongoDB Logo MongoDB