dsh-turn-rewind
@Anionex
DSH - 基于持久化 Change Ledger 的对话与工作区状态回溯。
jacobian
40 stars
关于
面向 Agent 的纯数学工具：搜索示例和反例，精确计算，并独立验证结果的证明过程。
描述由原文机器翻译而来。
主题
ai-agentsautomated-theorem-provingcomputer-algebracordisdshformal-methodsformal-verificationlean4
面向 Agent 的纯数学工具：搜索示例和反例，精确计算，并独立验证结果的证明过程。
描述由原文机器翻译而来。
