Merge branch 'main' into feature/meta-model2

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge branch 'main' into feature/meta-model2 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 92c5ac74a6b277383d6bcbabd4dd8f883a03775f 2 parents 8a3df77 + 81d37b7 Sakoda2269 authored on 5 Nov

Patch

Unified Split

Showing 3 changed files

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

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

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

Show line notes below