Index of /new-static/ba/badb94f1-f243-4994-be6e-420080b9dbbf/attachments

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]FermatProof-CPP2012.pdf2020-05-19 20:04 1.0M 
[ ]HOL Demo - in Browser.pdf2020-05-19 20:04 93K 
[VID]JosephChan_VYT.mp42020-05-19 20:04 6.2M 
[ ]aksProof.pdf2020-05-19 20:04 128K 
[ ]aksTheorem_itp.pdf2020-05-19 20:04 363K 
[ ]comp2600-HOL-Demo-2016.pdf2020-05-19 20:04 86K 
[ ]comp2600-aks-2016.pdf2020-05-19 20:04 197K 
[ ]comp2600-aks.pdf2020-05-19 20:04 146K 
[ ]fermatProof.pdf2020-05-19 20:04 332K 
[ ]ff-classify-JAR2018.pdf2020-05-19 20:04 812K 
[ ]itp2015-slides.pdf2020-05-19 20:04 293K 
[ ]lcm-bounds.pdf2020-05-19 20:04 310K 
[ ]lcm-slides.pdf2020-05-19 20:04 468K 
[ ]lcmTheorem-behind-extended.pdf2020-05-19 20:04 1.1M 
[ ]lcmTheorem-behind-the-scenes.pdf2020-05-19 20:04 746K 
[ ]lcmTheorem-slides.pdf2020-05-19 20:04 898K 
[ ]lcmTheorem.pdf2020-05-19 20:04 242K 
[ ]lcmTheorem HOL Demo - in Browser.pdf2020-05-19 20:04 100K 
[ ]phd.thesis.aks.pdf2020-05-19 20:04 946K 
[ ]phd_review_2013.pdf2020-05-19 20:04 183K 
[ ]phd_review_2014.pdf2020-05-19 20:04 347K 
[ ]phd_review_2015.pdf2020-05-19 20:04 221K 
[ ]phd_review_2016.pdf2020-05-19 20:04 95K 
[ ]phd_review_2018.pdf2020-05-19 20:04 151K 
[ ]phd_thesis_2019.pdf2020-05-19 20:04 2.4M 
[ ]phd_visual_2019.pdf2020-05-19 20:04 31M 
[ ]phd_yearly_2013.pdf2020-05-19 20:04 222K 
[ ]phd_yearly_2014.pdf2020-05-19 20:04 198K 
[ ]phd_yearly_2017.pdf2020-05-19 20:04 125K 
[ ]phd_yearly_2019.pdf2020-05-19 20:04 151K