Robuta

https://github.com/haslab/why3do GitHub - haslab/why3do: Why3-do: a WhyML library for state machine specifications and distributed... Why3-do: a WhyML library for state machine specifications and distributed systems - haslab/why3do