Mentions légales du service

Skip to content

remove useless `import` in doc (avoid warnings)

LA requested to merge why3-leo/why3:use-import-doc into master

While following the tutorial in the doc, I found many warnings related to useless imports. So, I just removed them when possible.

Merge request reports