|
|
|
|
|
|
by hypernovawebant
1869 days ago
|
|
|
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). |
|
|