monotykamary/gdp-wired

monotykamary/gdp-wired는 TypeScript로 상태 규칙의 불변식을 증명하고 GPU로 반례를 찾는 도구다.

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

스타

★ 15

포크

1

언어

TypeScript

라이선스

MIT