monotykamary/gdp-wired

monotykamary/gdp-wired is a tool that proves invariants of state rules in TypeScript and finds counterexamples with a GPU.

stars

★ 15

Forks

1

Language

TypeScript

License

MIT