Project record01 mention
Originally shared on Hacker News
scikit-verify
A verification tool that traces Python and NumPy programs into SymPy formulas and checks them symbolically across all execution branches.
01 / Source history
Shared over time
Each entry reflects what was shared on that date. Details may have changed since then.
scikit-verify
A verification tool that traces Python and NumPy programs into SymPy formulas and checks them symbolically across all execution branches.
Posted by @aadyachinubhai · Original comment ↗
“Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches”