note

Let's try proving with an SMT solver: Z3's proof generation feature and logical approach

I will talk about some items picked up from a document I recently started selling. SMT solver z3 explanation document ...