Fork: 0
nitta-lab / RDLProofSystem
Browse code
syntax errorを追加
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 0bd982a commit 82a128445fab0fb24b1334605c7565c429f2cb9d
@Sakoda2269 Sakoda2269 authored on 17 Jul
Patch
Unified Split
Showing 1 changed file
View
src/main/java/models/terms/Dependency.java