4 ms·
https://github.com/aadya940/scikit-verify https://github.com/aadya940/scikit-verify Trace Python+NumPy programs into SymPy formulas and check them symbolically
by aadyachinubhai 12d ago
https://github.com/aadya940/scikit-verify https://github.com/aadya940/scikit-verify
Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches