Fork: 0
nitta-lab / RDLProofSystem
Browse code
Merge branch 'main' into feature/formulas
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 919ecdaebfd8e01f22adc872ffc2e56e7a6fd95b
2 parents 74d10b6 + 3a7ef60
@Sakoda2269 Sakoda2269 authored on 23 Oct
Patch
Unified Split
Showing 1 changed file
View
src/models/terms/meta/MetaRDLTerm.java