RDLProofSystem/src/inference at 80735d20dd5ba95052f5abb0897185fa16c4af54

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 82 commits

RDLProofSystem / src / inference /


..
InferenceOrderConstraint.java	公理に出現する階数の制約を追加できるようにした	10 months ago
InferenceRule.java	階数の制約追加によりコンストラクタ追加	10 months ago
ProofSystem.java	公理作成中	10 months ago