Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

  • Andrei Paskevich's avatar
    Parser: chained equivalence · 3912a062
    Andrei Paskevich authored
    Translate a chain of equivalences A <-> B <-> C into a conjunction
    (A <-> B) /\ (B <-> C). Implication is weaker than equivalence when
    it occurs to the left of it, and is forbidden at the right hand side.
    In other words, A -> B <-> C <-> D is allowed and translated into
    A -> ((B <-> C) /\ (C <-> D)), and A <-> B -> C is not allowed,
    and requires explicit parentheses.
    3912a062
ptree.ml 5.67 KB