Galois Announces ISC: The Imperfect Stitch Compiler - Galois, Inc. - discu.eu

Reddit

The Imperfect Stitch Compiler (ISC) interacts seamlessly with Haskell and verification engines including SMT solvers, Coq, and Isabelle https://galois.com/blog/2016/04/galois-announces-isc-the-imperfect-stitch-compiler/ 3 comments 1/4/2016 haskell

Linked pages

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:galois.com

Search title: Galois Announces ISC: The Imperfect Stitch Compiler - Galois, Inc.

See how to search.

Submit link to: