CoCalc Public Fileshomework / 2016-02-05-homework-5Open in with one click!
DUE_DATE.txt
compute-stuff.sagews
prove-stuff.aux
prove-stuff.log
prove-stuff.pdf
prove-stuff.tex