ResourceDependencyLogic/src/inference at 9126af9af2c2d93db62c136b9617a48f506eac0b

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 104 commits

ResourceDependencyLogic / src / inference /


..
equivalence	typoを修正	2 months ago
InferenceOrderConstraint.java	公理に出現する階数の制約を追加できるようにした	5 months ago
InferenceRule.java	途中まで	4 months ago
ProofSystem.java	公理系更新のために既存の公理系を削除	2 months ago