MetaRDLTermにtypeCheckを追加

Fork: 0

nitta-lab / RDLProofSystem

Browse code MetaRDLTermにtypeCheckを追加 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent a53c63b commit f96caef9a560c45b8175a5e656d1ce70188482aa Sakoda2269 authored on 23 Oct

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/models/terms/meta/MetaRDLTerm.java

Show line notes below