Mentions légales du service
two parts: why3 and why3session. (The Coq tactic does not include why3session)