GitHub - epfl-lara/stainless: Verification framework and tool for higher-order Scala programs - discu.eu

Reddit

Stainless - verification tool for a contract-style (require, ensuring) subset of Scala https://github.com/epfl-lara/stainless 10 comments 10/2/2019 scala

Linking pages

A summary of Scala Days Copenhagen 2017 | by Gabriele Petronella | buildo blog https://blog.buildo.io/a-summary-of-scala-days-copenhaen-2017-d82d0d41f3a8 0 comments

Linked pages

The Scala Programming Language http://scala-lang.org/ 193 comments
GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
GitHub - epfl-lara/inox: Solver for higher-order functional programs https://github.com/epfl-lara/inox 0 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - epfl-lara/stainless: Verification framework and tool for higher-order Scala programs

See how to search.

Submit link to: