Fork: 0
nitta-lab / RDLProofSystem
Browse code
mainを変更
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent d01d00d commit 2074a304e6aa39ddf7f43a69ff057603a2160fec
@Sakoda2269 Sakoda2269 authored on 31 Oct
Patch
Unified Split
Showing 1 changed file
View
src/Main.java