Ningensei848 / klis16system_tpp

知識情報・図書館学類　知識情報システム主専攻実習の資料とか

知識情報・図書館学類 知識情報システム主専攻実習 定理証明班

はじめに

このリポジトリは、2018年度秋学期 知識情報システム主専攻実習 定理証明班のReduceのコードをおいておくものである。

大まかな説明は主専攻実習：定理証明班はなにをやっているのか - Qiitaを参照してください。