RDLProofSystem/src/inference at e4e056d9457e4f23a3f448dbea5754ed711ec6b2

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 84 commits

RDLProofSystem / src / inference /


..
InferenceOrderConstraint.java	公理に出現する階数の制約を追加できるようにした	1 year ago
InferenceRule.java	階数の制約追加によりコンストラクタ追加	1 year ago
ProofSystem.java	公理追加完了	1 year ago