Yawolf / stainless

Verification framework and tool for higher-order Scala programs

https://stainless.epfl.ch

Geek Repo

Github PK Tool