項のサイズのバグを修正

Fork: 0

nitta-lab / RDLProofSystem

Browse code 項のサイズのバグを修正 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 5530a2e commit 62068397210707986dca9aca14186dcf045c8005 Sakoda2269 authored on 24 Mar

Patch

Unified Split

Showing 1 changed file

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

Show line notes below