Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Hey There Buddo!
(Uncensored)
subscribe
More Stupid Z3Py Tricks: Simple Proofs | Hey There Buddo!
https://www.philipzucker.com/more-stupid-z3py-tricks-simple-proofs/
links
backlinks
Tagged with:
formalmethods
Edit 2024: See my project knuckledragger for more systematic work in this vein https://github.com/philzook58/knuckledragger