4 ms·Why3 ‘extends’ OCaml with similar features as wellby toastal 3y agoWhy3 ‘extends’ OCaml with similar features as well