summaryrefslogtreecommitdiff
path: root/proof_response_2.txt
AgeCommit message (Expand)Author
2018-11-28changed figures to screenshot pngs for publication, added first two proof res...Jaron Kent-Dobias