ResourceDependencyLogic/src/inference at a86b89c76f92ad78d0510e3739bb25059720042d

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 90 commits

ResourceDependencyLogic / src / inference /


..
InferenceOrderConstraint.java	公理に出現する階数の制約を追加できるようにした	5 months ago
InferenceRule.java	公理を追加	5 months ago
ProofSystem.java	公理を追加	5 months ago