虚空如何让您产生或做任何事情？
布雷迪说，在<em>使用Idris进行类型驱动的开发...
荒谬的另一种说法是不可能的吗？
<strong>我的问题</strong> <cod...
数组反转算法的循环不变性
我想找到一个反转数组的程序的完整性，即如果我的前...
最小值算法的正确性
我的任务是证明寻找数组中最小元素的索引所用算法的...
如何证明该算法的正确性？
<strong>我的算法</strong> <br/&g...
给定无向图设计算法
问题：给定无向图G，顶点集V的子集H（即H是V的子集）...
Idris，类型加法增量
如何编写这样的函数 <pre><code>data W...
循环迭代程序正确性示例-循环不变式和程序终止
我需要帮助来证明迭代程序的正确性： <pre>&l...
如何证明这个不变量？
我的目标是证明霍纳法则是正确的。为此，我将 Horne...
使用 SPARK 证明 Select Sort 算法
我试图证明我在 Ada 中实现的 Select Sort 是正确的...
Ada GNAT 证明 1 不是 >= 0
我试图证明，我在数组中查找第二大值的算法可以正常...
证明加权任务调度问题的贪心解
我试图证明 <a href="https://www.youtube.c...
我如何证明这个算法的正确性
我们得到以下算法： 输入：二部图<code>G=(L,...
PetersonNP，机械互斥证明
大家好， 我目前正在尝试执行 PetersonNP（又名 Fil...