epfl-lara/actors-in-stainless

Actor System library for Stainless which runs on Akka

语言：Scala · GitHub 星标：5 · Fork：1

话题：actors · akka · scala · stainless · verification

在 GitHub 上查看原仓库