There's a tool for verification of Python programs based on contracts which uses...

		hypernovawebant on May 4, 2021 \| parent \| context \| favorite \| on: Programming in Z3 by learning to think like a comp... There's a tool for verification of Python programs based on contracts which uses Z3: https://github.com/pschanely/CrossHair You can use it as part of your CI or during the development (there's even a neat "watch" mode, akin to auto-correct).