Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    make the meta_desc field immutable · 5ae69cd3
    Andrei Paskevich authored
    Provers will have native polymorphism support long before people will
    start writing third-party polymorphism encoding procedures for Why3.
    (And it's not that I have high hopes about the former.)
    5ae69cd3