aadya940 / scikit-verify
git clone https://github.com/aadya940/scikit-verify.git
Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
27
★ total
10
forks · 10 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguagePython
LicenseBSD-3-Clause
Created2026-08-08 (2mo ago)
Last push19d ago
OwnerUser