証明ツールHOL 4をParalells上のWindows-XPへインストール



Moscow MLをインストールし、HOLとして動き始めた。

Posted: 月 - 6月 11, 2007 at 06:22 午後          

©