https://github.com/bollu/dependence-analysis-coq/blob/master/report-independent-study/independent-study.pdf https://github.com/bollu/dependence-analysis-coq/blo

https://github.com/bollu/dependence-analysis-coq/blob/master/report-independent-study/independent-study.pdf https://github.com/bollu/dependence-analysis-coq/blob/master... Put a space before the final ), else it becomes part of the URL. Thanks for the paper, by the way.