前回の最後に MESON が証明した定理式を Prover9 に与えると... 瞬時に以下のように証明してくれます. ============================== Prover9 =============================== Prover9 (32) version Dec-2007, Dec 2007. ===========================…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。