RDLProofSystem/src/test/java/inference/inferencerule at c696b3340c18033dd22299692b6318095c7b4ecb

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 224 commits

RDLProofSystem / src / test / java / inference / inferencerule /


..
DependencyAxiomTest.java	依存関係の推論のテスト中	19 days ago
EqualityAxiomTest.java	依存関係の推論を実装	19 days ago