WhyBSML 0.1
Résumé
WhyBSML is a formalization of the core module of the BSML (https://bsml-lang.github.io) library, an OCaml library for scalable parallel computing, and a set of verified libraries and example application implemented with this core module.