epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

Home Page:https://epfl-lara.github.io/stainless/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

epfl-lara/stainless Stargazers