Mentions légales du service

Skip to content
  • MARCHE Claude's avatar
    adding new case Undone for pa status. But it does not solve the pb: · 5a879904
    MARCHE Claude authored
    interrupted proofs are still impossible to remove.
    The pb is that the session does not store the "dynamic" state of the
    running session, so it is not possible to check whether a given proof
    attempt is in progress or not. The controller should have its own table
    to check whether a proofattemptId has a proof in progress or not.
    5a879904