RDLProofSystem/src/inference at c11d3ff849c2dbea84aa81e842009c5b00760ca9

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 81 commits

RDLProofSystem / src / inference /


..
InferenceOrderConstraint.java	公理に出現する階数の制約を追加できるようにした	1 year ago
InferenceRule.java	階数の制約追加によりコンストラクタ追加	1 year ago
ProofSystem.java	ProofSystem#checkの引数の型が間違っていたので修正	1 year ago