<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Dear all,&nbsp;<div class=""><br class=""></div><div class="">I would like to share my master's thesis which was my first encounter with Agda. The title is “<i class="">Prime numbers - a case study in the Interactive Theorem Prover Agda</i>“. The dissertation was supervised by&nbsp;<b class="">Anton Setzer</b>&nbsp;from Computer Science Department at Swansea University, 2015. &nbsp;</div><div class=""><br class=""></div><div class="">Dissertation link: <a href="https://dl.dropboxusercontent.com/u/59222428/Prime numbers - a case study in the interactive theorem prover Agda.pdf" class="">https://dl.dropboxusercontent.com/u/59222428/Prime%20numbers%20-%20a%20case%20study%20in%20the%20interactive%20theorem%20prover%20Agda.pdf</a>&nbsp;</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Best regards,</div><div class="">Ali Onaissi</div></body></html>