Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

User Activity

  • Created ticket #331 on RODIN

    Optimize Formula Factory storage in proof files

  • Modified ticket #198 on RODIN

    Copy/Paste in Event-B component context menu

  • Modified ticket #328 on RODIN

    Allow rewriting based on equivalence

  • Modified ticket #328 on RODIN

    Allow rewriting based on equivalence

  • Modified ticket #329 on RODIN

    Allow induction on naturals and integers

  • Created ticket #719 on RODIN

    Cannot edit/remove a duplicated SMT configuration

  • Modified ticket #717 on RODIN

    Exception when deserializing an old proof (Rodin 2.8)

  • Posted a comment on ticket #717 on RODIN

    Fixed by supporting deserialization of both forward inf and rewrite hyp action through...

View All

Personal Data

Username:
nicolas_beauger
Joined:
2008-05-30 09:03:30

Projects

Skills

  • No skills entered.

Personal Tools