Mentions légales du service

Skip to content
  • David Hauzar's avatar
    Displaying references in counterexamples. · 13921d03
    David Hauzar authored
    In why3, references are internally stored in the record ref with one
    field content (containing the value that is referenced). Disable
    displaying the name of the field content of record ref in counterexamples.
    13921d03