Mentions légales du service

Skip to content
  • Guillaume Melquiond's avatar
    Add support for generic printing of integers and reals. · 1ba8f1a6
    Guillaume Melquiond authored
    Prover capabilities are now represented by a record enumerating each case and which syntax to use then.
    This fixes output of nondecimal integers to provers (bug #12981).
    
    TODO: check whether some provers support more than just decimal representations.
    1ba8f1a6