Fork: 0
nitta-lab / RDLProofSystem
Browse code
集合の形の評価可能項に対応
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 92c5ac7 commit 843f8c197c40813c36e747faae62d59b37a1ff28
@Sakoda2269 Sakoda2269 authored on 5 Nov
Patch
Unified Split
Showing 2 changed files
View
src/models/terms/meta/MetaEvaluatableTermSet.java 0 → 100644
View
src/models/terms/meta/MetaRDLTerm.java