ResourceDependencyLogic/src/inference at 7b2a4e2a7da9335140dca1e4e830756ec2f2e61a

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 106 commits

ResourceDependencyLogic / src / inference /


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