文章 0 浏览 2
Closed. This question is off-topic. It is not currently accepting answers. 想要改进此问题吗？更新问题，使其关于- Stack Overflow 的主题。 13…
有没有人尝试用 Z3 本身证明 Z3 ？ 是否有可能使用 Z3 来证明 Z3 是正确的？ 更理论化的是，是否有可能使用 X 本身来证明工具 X 是正确的？…
我正在写一篇充满定义、定理、引理等内容的论文。我需要给出一个概念的基本定义，然后在论文的后面部分扩展这个定义，因为更多的参数会增加复杂性，从…
文章 0 评论 0
接受
