依存項の階数を修正

Fork: 0

nitta-lab / RDLProofSystem

Browse code 依存項の階数を修正 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 222e1ed commit f47be452d6afba3e9270127dd4b08fed531c6db5 Sakoda2269 authored on 29 Jul

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/main/java/models/terms/DependencyTerm.java

Show line notes below