Mentions légales du service

Skip to content
  • Sylvain Dailler's avatar
    Add a name_table in proof_node. · e0d6b38d
    Sylvain Dailler authored
    Add a name_table in printer_args.
    Put the definition of name_table in task.ml.
    Build_name_tables only called once in proof_node creation.
    Modified the rest accordingly.
    e0d6b38d