• Guillaume Melquiond's avatar
    Rework numerical constants. · d3d7c7ac
    Guillaume Melquiond authored
    Main changes are:
    - Real constants now offer a normalized representation usable for internal
      computations.
    - Constants are no longer stored in textual form.
    d3d7c7ac
Name
Last commit
Last update
..
tptp_ast.ml Loading commit data...
tptp_lexer.mli Loading commit data...
tptp_lexer.mll Loading commit data...
tptp_parser.mly Loading commit data...
tptp_printer.ml Loading commit data...
tptp_printer.mli Loading commit data...
tptp_typing.ml Loading commit data...
tptp_typing.mli Loading commit data...