依存項の階数の制約を修正した

Fork: 0

nitta-lab / RDLProofSystem

Browse code 依存項の階数の制約を修正した feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 392f8b6 commit 3e50eb2bee9bcb939a23fa93a3a3f01b92b9ee7f Sakoda2269 authored on 19 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