Devotd Github
日本語
English한국어简体中文日本語
AIエージェント

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.

GitHub で見る ↗
スター
★ 15
フォーク
1
言語
TypeScript
ライセンス
MIT

投稿

1