https://github.com/aadya940/scikit-verify
Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches
Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches
No comments yet.