Comment Comment by tluyben2 How does the verification work? I see the Z3 prover in there; is there more detail on how that works with this language? parent tluyben2 6 years ago
