epfl-lara/stainless-project.g8

Giter8 template for Stainless-enabled projects

语言：Scala · GitHub 星标：3 · Fork：0

话题：giter8 · sbt · scala · stainless

在 GitHub 上查看原仓库