Thanks Phil!
I've been meaning to get to your Z3 tutorials soon, they rock too! See ya around!
Also, I think you can totally tell that this is part of my brain-dump that's been pouring out to the #formal-methods channel on the Julia Zulip.
I've been meaning to get to your Z3 tutorials soon, they rock too! See ya around!
Also, I think you can totally tell that this is part of my brain-dump that's been pouring out to the #formal-methods channel on the Julia Zulip.
No comments yet.