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

Fork: 0

nitta-lab / RDLProofSystem

Browse code dependencyTermのコンストラクタを変更 feature/axiom-inference-mk2 fix/dependencyTerm-constructor main
1 parent 14d51fb commit d230112df8a65506ddcd59422ea5765bc24ae895 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