Mentions légales du service

Skip to content

Update TryWhy3 to Alt-Ergo 2.3.

Guillaume Melquiond requested to merge trywhy3-altergo-2.3 into master

It seems to behave quite differently from Alt-Ergo 2.0, so no idea if we want it for Why3 1.4.

Merge request reports