RDLProofSystem/src/test/java/inferencerule at 09b8a7031e4b221bb4b61b43c978949bc01d2b69

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 207 commits

RDLProofSystem / src / test / java / inferencerule /


..
DependencyAxiomTest.java	MapComposition 途中まで	18 days ago
EqualityAxiomTest.java	公理見直し中	13 days ago
InTest.java	in, codomain membership, domain membershipを実装	14 days ago
InferenceRuleTest.java	dynamicの見直し	24 days ago