RDLProofSystem/src/inference at 8fd3c0cf160e8a597fefa5e2cae106c5db49bcfd

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 93 commits

RDLProofSystem / src / inference /


..
InferenceOrderConstraint.java	公理に出現する階数の制約を追加できるようにした	10 months ago
InferenceRule.java	InferenceRule#checkの計算量を改善	9 months ago
ProofSystem.java	推移律のチェックを追加	9 months ago