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