It's called What4: https://galois.com/blog/2020/07/what4-new-library-to-help-devs-build-verification-program-tools/
:-) Of course, no successor here, only an homage to Why3 in picking the name of their tool for addressing different SMT solvers from Haskell code. -- Yannick Moy Senior Software Engineer, AdaCore <https://www.adacore.com/>
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club