WS1Sの定理判定機が上のURLで公開中です。 興味のある方は御覧あれ。 有限鎖のほうもバージョンが上がって不具合が直っています。 ご意見、ご要望、バグレポートなどはメカメカマンまでお願いします。 [1999年2月2日 6時19分49秒]
WS1Sの定理判定機が上のURLで公開中です。 興味のある方は御覧あれ。 有限鎖のほうもバージョンが上がって不具合が直っています。 ご意見、ご要望、バグレポートなどはメカメカマンまでお願いします。