Constantness追加まで

Fork: 0

nitta-lab / RDLProofSystem

Browse code Constantness追加まで feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent f88bb35 commit 9bdb644e0338b7cfb687e032ed6aa50645d1d1a7 Sakoda2269 authored 18 days ago

Patch

Unified Split

Showing 2 changed files

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

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

Show line notes below