Thread

1. greatgib · 1789642177 · focus · HN ↗

   If anyone wondering, because it took me a few hops to find out:

   Z3 is a high-performance theorem prover being developed at Microsoft Research.

   1. 112233 · 1789643836 · focus · HN ↗

      oh, something new! I thought Z3 is SAT/SMT solver, they must have added something.

      1. baq · 1789658234 · focus · HN ↗

         well a SAT solver is kinda sorta a theorem prover right...?

Unofficial Hacker News client; not affiliated with Y Combinator.