1

Leon の PropositionalLogic の例で、wrongCommutative のプロパティに非常に興味がありました。

私にとっては正しいプロパティのように思えますが、Leon でタイムアウトになる理由がわかりません。

ここにリンクがあります: https://leon.epfl.ch#link/37040293ff5ff92c763f797f22f142f8-1

誰でもこれで私を助けることができますか?

4

1 に答える 1