dependencyTermのコンストラクタを変更

Fork: 0

nitta-lab / RDLProofSystem

Browse code dependencyTermのコンストラクタを変更 feature/axiom-inference-mk2 fix/dependencyTerm-constructor main
1 parent 9d09c2a commit 14d51fb3c4bcbba26d0819aa3b82e2e63c1da6ae Sakoda2269 authored 11 days ago

Patch

Unified Split

Showing 1 changed file

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

Show line notes below