Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    move whyml to the Why3 library · 4599fe6b
    Andrei Paskevich authored
    + do not build src/programs/
    + build the library in lib/why3/
    + fix for the case when Alt-Ergo is not present
    + distribute lib/coq/BuiltIn.v
    + rename src/config to src/why3config
    + rename src/bench to src/why3bench
    + move src/ to src/util/