Name | Size | Last Modified |
---|---|---|
DUE_DATE.txt | 66 bytes | 2/5/2016, 8:52:05 PM |
compute-stuff.sagews | 1.2 KB | 2/5/2016, 8:50:59 PM |
prove-stuff.aux | 150 bytes | 2/9/2016, 7:10:04 PM |
prove-stuff.log | 3.4 KB | 2/9/2016, 7:10:04 PM |
prove-stuff.pdf | 84.4 KB | 2/9/2016, 7:10:04 PM |
prove-stuff.tex | 743 bytes | 2/5/2016, 8:50:17 PM |