User Activity

  • 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

  • Modified ticket #291 on RODIN

    better type synthesis for datatype

  • Posted a comment on ticket #291 on RODIN

    These changes have been merged in commit [df38cb].

  • Modified ticket #410 on RODIN

    More automatic proofs about finiteness

  • Posted a comment on ticket #410 on RODIN

    These cases have been implemented and merged in commit [3fc052].

  • Modified ticket #409 on RODIN

    Avoid startup error when external provers timeout

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