Merge branch 'feature/inference-rule'

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge branch 'feature/inference-rule' feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit e02b6b9dc9f12fe15b0fdac27d285dec318a508f 2 parents 43ddfcb + abbf5af Sakoda2269 authored on 30 Oct

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/inference/InferenceRule.java

Show line notes below