merge main

Fork: 0

nitta-lab / RDLProofSystem

Browse code merge main feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit bfcf2119908b9142edab534ff0105febfaef52cd 2 parents ea867cb + 9d1768e Sakoda2269 authored on 13 Jun

Patch

Unified Split

Showing 5 changed files

Ignore Space Show notes View src/main/java/models/formulas/DependencyFormula.java

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

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