Proving some Inductive Facts about Lists using Z3 Python (2019)philipzucker.com4 pointsphilzook7 years ago