scikit-verify
https://github.com/aadya940/scikit-verify Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches
Discover more builders
Builderlust is an endless, joyful scroll of real projects people are shipping right now. Get the app to keep finding your next spark of inspiration.
📱 Coming soon to iOS & AndroidOpen in the app