Fork: 0
nitta-lab / RDLProofSystem
Browse code
Merge branch 'main' into feature/proof-system
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 0b82e8e308f8ca400a2e792defc86053aececc8d
2 parents d4f9e42 + e02b6b9
@Sakoda2269 Sakoda2269 authored on 30 Oct
Patch
Unified Split
Showing 1 changed file
View
src/inference/InferenceRule.java