Fork: 0
nitta-lab / RDLProofSystem
Browse code
toString修正
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 82a1284 commit 726524bcb6da91f98b3a35d9479207c1bece5711
@Sakoda2269 Sakoda2269 authored on 17 Jul
Patch
Unified Split
Showing 1 changed file
View
src/main/java/models/terms/Dependency.java