Fork: 0
nitta-lab / RDLProofSystem
Browse code
Dependencyに関するテストを追加
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 726524b commit 649380b0c4433fc7c10f5de324bd1b7207f1d44f
@Sakoda2269 Sakoda2269 authored on 17 Jul
Patch
Unified Split
Showing 1 changed file
View
src/test/java/terms/DependencyTest.java 0 → 100644