Merge branch 'main' into feature/proof-system

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge branch 'main' into feature/proof-system feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit a77d9647eacfc81c1e73acfe9460d014c3af1c78 2 parents 67b1663 + 80735d2 Sakoda2269 authored on 19 Nov

Patch

Unified Split

Showing 3 changed files

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

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

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

Show line notes below