-
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
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.)