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