-
Jean-Christophe Filliâtre authored
the constructive version is now in witness.Nat the non-constructive version is witness.Witness
17d69990
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
the constructive version is now in witness.Nat the non-constructive version is witness.Witness