epfl-lara / stainlessLinks

Verification framework and tool for higher-order Scala programs
375Updated 2 weeks ago

Alternatives and similar repositories for stainless

Users that are interested in stainless are comparing it to the libraries listed below

Sorting: