Fork: 0
nitta-lab / RDLProofSystem
Browse code
DependencyTermのテスト追加
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent a02cf30 commit a693f80963f3ef1ce9585545e40d9bf5afd9c947
@Sakoda2269 Sakoda2269 authored on 17 Jul
Patch
Unified Split
Showing 1 changed file
View
src/test/java/terms/meta/DependencyTermTest.java 0 → 100644