Mentions légales du service

Skip to content
  • Guillaume Melquiond's avatar
    Avoid parenthesizing simple real numbers in Coq. · dc81b215
    Guillaume Melquiond authored
    I am assuming these numbers are not negative. This assumption has always
    existed for integers and the lexer cannot create negative real numbers
    anyway. So, as long as a transformation does not create negative numbers,
    there won't be any issue. (Transformations applying a negation to positive
    numbers are fine though.)
    dc81b215