• 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
theory.ml 24.9 KB