6 Commits

Author	SHA1	Message	Date
Janggun Lee	c58e90f81c	Fix submission script.	2024-09-05 15:51:40 +09:00
Janggun Lee	af889722bc	Cleanups	2024-07-30 15:26:33 +09:00
WoojinLee	41b699cf1a	modify submit.sh	2023-10-26 06:50:56 +00:00
AnHaechan	1e07909175	submission script for why3 assignment	2023-08-29 11:45:24 +09:00
woojin	ae4556d087	modify submission file	2023-08-28 17:16:34 +09:00
woojin	2b19548cb0	edit submit.sh file	2023-08-28 17:16:34 +09:00