RDLProofSystem/src/tests at 109dfcdf63ce8c6ed967f2cee4431ac9ac74ec81

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 106 commits

RDLProofSystem / src / tests /


..
equivalence	途中まで	10 months ago
formulas/ meta	メソッド名修正	1 year ago
inferencerule	InferenceRule#checkの計算量を改善	11 months ago
terms	公理を使った推論を実装	8 months ago
utils	公理による推論を実装中	8 months ago
Utils.java	テストを追加	1 year ago