1个月前 · software

Dafny：验证感知编程语言

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行翻译。

1个月前 · software

50 年的证明助理

抱歉，我无法直接访问外部链接。请您提供需要翻译的具体文本，我会为您翻译成简体中文。