Albert1401/shd
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
HW1:
Enter the path to your proof file as the first argument.
See the ${PATH_TO_PROOF}.log
HW2:
Enter path to your file you want to change
See the ${PATH_TO_PROOF}.log
HW3:
Enter path to file with yout statement
See the proof.txt