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. okokwhatever · 1789659620 · focus · HN ↗

      nailed!

Unofficial Hacker News client; not affiliated with Y Combinator.