Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Proving some Inductive Facts about Lists using Z3 python | Hey There Buddo!
https://www.philipzucker.com/proving-some-inductive-facts-about-lists-using-z3-python/
links
backlinks
Roast topics
Find topics
Find it!
Edit 2024: See my project knuckledragger for more systematic work in this vein https://github.com/philzook58/knuckledragger
