Proving some Inductive Facts about Lists using Z3 python | Hey There Buddo!
Edit 2024: See my project knuckledragger for more systematic work in this vein https://github.com/philzook58/knuckledragger| Hey There Buddo!
Edit 2024: See my project knuckledragger for more systematic work in this vein https://github.com/philzook58/knuckledragger| Hey There Buddo!
Edit 2024: See my project knuckledragger for more systematic work in this vein https://github.com/philzook58/knuckledragger| Hey There Buddo!
Edit 2024: See my project knuckledragger for more systematic work in this vein https://github.com/philzook58/knuckledragger| Hey There Buddo!
A classical theorem is that $\sqrt{2}$ is irrational. https://en.wikipedia.org/wiki/Square_root_of_2#Proofs_of_irrationality This means it cannot be written as $\frac{p}{q}$ for integers $p$ and $q$.| Hey There Buddo!
