Gitstar Ranking

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs - View it on GitHub
https://epfl-lara.github.io/stainless/
Star
367
Rank
93578