Fork: 0
nitta-lab / RDLProofSystem
Download ZIP 206 commits
Transfer to URL with SHA
RDLProofSystem / src / test / java / inferencerule /
latest commit 95d24b73d3
@Sakoda2269 Sakoda2269 authored 14 days ago
..
DependencyAxiomTest.java MapComposition 途中まで 18 days ago
EqualityAxiomTest.java 公理の推論の実装変更とtransitivity testまで 14 days ago
InTest.java in, codomain membership, domain membershipを実装 14 days ago
InferenceRuleTest.java dynamicの見直し 24 days ago