木の構築を更新

Fork: 0

nitta-lab / RDLProofSystem

Browse code 木の構築を更新 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 90a615f commit 4438c4b00f0e86a7cf30e233cd5926096187e8d6 Sakoda2269 authored on 16 May

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View src/Main.java

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

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

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

Show line notes below