woojin 81edf9e381 modify grade script

2023-09-15 23:24:02 +09:00

..

grade-utils.sh

modify grade script

2023-09-15 23:24:02 +09:00

grade.sh

grading script small fix

2023-08-27 05:52:51 +00:00

submit.sh

submission script for why3 assignment

2023-08-29 11:45:24 +09:00