Merge branch 'main' into feature/inference-rule

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge branch 'main' into feature/inference-rule feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 73984359ba9b04d4e221f3f1604cc7ecc44639f7 2 parents 3b46c51 + 872707c Sakoda2269 authored on 25 Oct

Patch

Unified Split

Showing 3 changed files

Ignore Space Show notes View src/models/formulas/meta/MetaDependencyFormula.java

Ignore Space Show notes View src/models/formulas/meta/MetaEquationFormula.java

Ignore Space Show notes View src/models/formulas/meta/MetaFormula.java

Show line notes below