InferenceRuleに名前をつけれるようにした

Fork: 0

nitta-lab / RDLProofSystem

Browse code InferenceRuleに名前をつけれるようにした feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent e299cbb commit abbf5af8f5a2e477f80b7f0af9791fdaeb5eac70 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