News for hackers. Stuff that matters.

A comment on The Z3 Theorem Prover released under MIT license. Parent comment

Re:The Z3 Theorem Prover released under MIT license by tomp on Thursday March 26, 2015 @05:43PM (#9273347)
It could be useful for future compilers and languages that use refined types (e.g. `x : int if x > 0`). Check out Liquid Haskell!
[ Parent | on HN ]

There are no comments on this comment yet.