Actor System library for Stainless which runs on Akka - View it on GitHub
Star
4
Rank
2280715