monotykamary / gdp-wired

git clone https://github.com/monotykamary/gdp-wired.git

Laws about stateful rules, proven in TypeScript: a small trusted kernel, an untrusted prover, a Lean twin, and GPU searches for counterexamples and invariants.