poi:实用的无点定理证明者助手

Poi 实用的无点定理证明者助手 === Poi Reduce 0.20 === Type `help` for more information. > and[not] and[not] or ∵ and[not] => or <=> not · nor ∵ not · nor <=> or ∴ or 要从终端运行Poi Reduce，请输入： cargo install --example poireduce poi 然后，运行： poireduce 示例：串联列表的长度 Poi可让您指定目标并自动证明。 例如，当计算两个串联列表的长度时，有一种更快的方法，该方法是计算每个列表的长度并将它们加在一起： > goal len(a)+len(b) new goal: (len(a) + len(b)) > len(a++b) len((a ++ b)) depth: