ResourceDependencyLogic/src/inference at 378e2dfa010c411ab8cef4928758a34ad5faf826

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 105 commits

ResourceDependencyLogic / src / inference /


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