新发现
monotykamary/gdp-wired — 状态规则不变量证明工具
monotykamary/gdp-wired 是一个用 TypeScript 证明状态规则不变量、并用 GPU 寻找反例的工具。
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没有符合条件的动态。