RDLProofSystem/src/test/java/inferencerule at 6ac703028cd35de5247fed550ae44a00692de244

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 209 commits

RDLProofSystem / src / test / java / inferencerule /


..
DependencyAxiomTest.java	MapComposition 途中まで	18 days ago
EqualityAxiomTest.java	testを修正, EquationAxiom#applyの戻り値を変更	8 days ago
InTest.java	in, codomain membership, domain membershipを実装	14 days ago
InferenceRuleTest.java	dynamicの見直し	24 days ago