epfl-lara / actors-in-stainless

Actor System library for Stainless which runs on Akka

https://stainless.epfl.ch

Geek Repo

Github PK Tool