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. Bluestein · 1789643149 · focus · HN ↗

      Or a BMW, or a groundbreaking electro mechanical computer, depending :)

      1. number6 · 1789643652 · focus · HN ↗

         I was hoping for the mechanical computer...

Unofficial Hacker News client; not affiliated with Y Combinator.