Fork: 0
nitta-lab / RDLProofSystem
Browse code
Dependency#toStringがバグっていたので修正
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 7112799 commit eb6928b2f2b3f4b9a63bb02bba39c90158c4b7c0
@Sakoda2269 Sakoda2269 authored on 31 Oct
Patch
Unified Split
Showing 1 changed file
View
src/models/terms/Dependency.java