Merge pull request #10 from Sakoda2269/fix/dependency-term-order

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #10 from Sakoda2269/fix/dependency-term-order 依存項の階数の制約を修正した feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 37da19e1fc74d2901f8254a8bd2ada6f5b40a377 2 parents 392f8b6 + 3e50eb2 Sakoda2269 authored on 25 May GitHub committed on 25 May

Patch

Unified Split

Showing 3 changed files

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

Ignore Space Show notes View src/test/java/terms/LinearRightNormalTest.java

Ignore Space Show notes View src/test/java/terms/OrderTest.java 0 → 100644

Show line notes below