rewriteについて修正

Fork: 0

nitta-lab / RDLProofSystem

Browse code rewriteについて修正 feature/axiom-inference-mk2 feature/axiom_inference fix/dependencyTerm-constructor fixResource main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent b7dc29d commit 222e1ed552f375810a21d88728ee618787f36c87 Sakoda2269 authored on 29 Jul

Patch

Unified Split

Showing 2 changed files

Ignore Space Show notes View src/main/java/inference/rewrite/RewriteInferenceSystem.java

Ignore Space Show notes View src/test/java/rewrite/RewriteInferenceTest.java 0 → 100644

Show line notes below