Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Scala Updated 2 days ago 1 commits 407 stars
prism-dev|Mirror: epfl-lara/stainless (⭐407)
2 days agoAbout
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Readme
407 stars
60 forks