RDLProofSystem/src/inference at 378e2dfa010c411ab8cef4928758a34ad5faf826

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 105 commits

RDLProofSystem / src / inference /


..
equivalence	typoを修正	6 months ago
InferenceOrderConstraint.java	公理に出現する階数の制約を追加できるようにした	10 months ago
InferenceRule.java	公理による推論を実装中	6 months ago
ProofSystem.java	公理による推論を実装中	6 months ago