User Activity

  • Modified ticket #838 on RODIN

    Overflow of description in tactic profile editor

  • Posted a comment on ticket #838 on RODIN

    This has been fixed in commit [324c0e].

  • Committed [968fa1] on RodinCore

    Fix execution of Tom with Ant

  • Committed [4a1320] on RodinCore

    Fix FR #407: Pattern matching in ae

  • Committed [324c0e] on RodinCore

    Fix bug #838: Overflow of description in tactic profile editor

  • Created ticket #412 on RODIN

    Automatic proof of inequality of datatype constructor with its arguments

  • Created ticket #411 on RODIN

    Manual rewriter for arithmetic on constants

  • Created ticket #838 on RODIN

    Overflow of description in tactic profile editor

View All

Personal Data

Username:
gverdier
Joined:
2020-09-02 09:03:32

Projects

This is a list of open source software projects that Guillaume Verdier is associated with:

  • Project Logo RODIN   Last Updated:

Personal Tools

MongoDB Logo MongoDB