Sign in Sign up
npm

gdp-wired

An automatic prover for stateful rules (budgets, caps, windows, workflows, policies): laws proven with no proof to write, checked again in Lean, counterexamples found on the GPU, the rule shipped as code

npm View on Npm

Activity

Latest release
5h ago
Total releases
46
Cadence
~daily
Last 12 months
46

Reach

Downloads (recent)
0

Details

License
MIT
First release
Oct 16, 2026
Releases
Version Released
0.31.1 patch
0.31.0 minor
0.30.1 patch
0.30.0 minor
0.29.0 minor
0.28.0 minor
0.27.0 minor
0.26.0 minor
0.25.0 minor
0.24.0 minor
0.23.0 minor
0.22.0 minor
0.21.0 minor
0.20.0 minor
0.19.0 minor
0.18.0 minor
0.17.0 minor
0.16.0 minor
0.15.0 minor
0.14.2 patch
0.14.1 patch
0.14.0 minor
0.13.3 patch
0.13.2 patch
0.13.1 patch
0.13.0 minor
0.12.7 patch
0.12.6 patch
0.12.5 patch
0.12.4 patch
0.12.3 patch
0.12.2 patch
0.12.1 patch
0.12.0 minor
0.11.0 minor
0.10.1 patch
0.10.0 minor
0.9.0 minor
0.8.0 minor
0.7.0 minor
0.6.0 minor
0.5.0 minor
0.4.0 minor
0.3.0 minor
0.2.0 minor
0.1.0 initial