![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| practice2.tex | 2022-09-21 11:27 | 12K | |
| LK.sty | 2022-09-21 11:51 | 2.2K | |
| prooftree.sty | 2022-09-21 11:51 | 13K | |
| QED.sty | 2022-09-21 11:51 | 30K | |
| practice-test1.tex | 2022-09-23 18:48 | 4.1K | |
| practice-test1.aux | 2022-09-23 18:49 | 8 | |
| practice-test1.pdf | 2022-09-23 18:49 | 49K | |
| practice-test1.log | 2022-09-23 18:49 | 5.2K | |
| practice1.tex | 2022-09-23 18:56 | 10K | |
| hw1s.tex | 2022-09-25 08:04 | 13K | |
| hw1s.aux | 2022-09-25 08:04 | 8 | |
| hw1s.pdf | 2022-09-25 08:04 | 110K | |
| hw1s.log | 2022-09-25 08:04 | 12K | |
| practice1.log | 2022-10-02 13:34 | 0 | |
| practicet1.tex | 2022-10-05 20:26 | 14K | |
| practicet1.aux | 2022-10-05 20:26 | 8 | |
| practicet1.pdf | 2022-10-05 20:26 | 68K | |
| practicet1.log | 2022-10-05 20:26 | 5.3K | |
| practicet1-s.tex | 2022-10-05 20:28 | 14K | |
| practicet1-s.aux | 2022-10-05 20:30 | 8 | |
| practicet1-s.pdf | 2022-10-05 20:30 | 85K | |
| practicet1-s.log | 2022-10-05 20:30 | 5.4K | |
| hw1.tex | 2022-10-10 17:26 | 5.5K | |
| hw1.aux | 2022-10-10 17:26 | 8 | |
| hw1.pdf | 2022-10-10 17:26 | 75K | |
| hw1.log | 2022-10-10 17:26 | 10K | |
| hw2.tex | 2022-11-20 19:24 | 8.3K | |
| hw2.aux | 2022-11-20 19:24 | 8 | |
| hw2.pdf | 2022-11-20 19:24 | 69K | |
| hw2.log | 2022-11-20 19:24 | 10K | |
| hw2s.tex | 2022-11-20 19:25 | 8.8K | |
| hw2s.aux | 2022-11-20 19:25 | 8 | |
| hw2s.pdf | 2022-11-20 19:25 | 104K | |
| hw2s.log | 2022-11-20 19:25 | 11K | |