Merge pull request #5 from Sakoda2269/feature/inference-rule

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #5 from Sakoda2269/feature/inference-rule Feature/inference rule feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 43ddfcbd513aa978e8e1d09196ae8d54d181bb14 2 parents 872707c + e299cbb Sakoda2269 authored on 30 Oct GitHub committed on 30 Oct

Patch

Unified Split

Showing 3 changed files

Ignore Space Show notes View src/Main.java

Ignore Space Show notes View src/inference/InferenceRule.java 0 → 100644

Ignore Space Show notes View src/tests/inferencerule/InferenceRuleTest.java 0 → 100644

Show line notes below