Fork: 0
nitta-lab / RDLProofSystem
Browse code
mainを変更
feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 2fb0df9 commit 6811ad5863e635dffcd45103afe55a3c07adb59f
@Sakoda2269 Sakoda2269 authored on 28 Nov
Patch
Unified Split
Showing 1 changed file
View
src/Main.java