ダウンロード

LLPTTP: 線形論理型言語コンパイラ処理系 を用いた定理証明システム