Dear Why3 users, We recently submitted an article that describes Why3 modules and how "clone" is used to achieve abstraction and genericity:
https://hal.inria.fr/hal-02696246 We thought it could be of interest to this list, as an additional documentation regarding Why3 modules. Source files for the example described in the article are available from here: http://why3.lri.fr/isola-2020/ Best regards, -- Jean-Christophe and Andrei _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
