[Agda] My MSc Dissertation

[Ali Onaissi]

Dear all, 

I would like to share my master's thesis which was my first encounter with Agda. The title is “Prime numbers - a case study in the Interactive Theorem Prover Agda“. The dissertation was supervised by Anton Setzer from Computer Science Department at Swansea University, 2015.  

Dissertation link: https://dl.dropboxusercontent.com/u/59222428/Prime%20numbers%20-%20a%20case%20study%20in%20the%20interactive%20theorem%20prover%20Agda.pdf <https://dl.dropboxusercontent.com/u/59222428/Prime%20numbers%20-%20a%20case%20study%20in%20the%20interactive%20theorem%20prover%20Agda.pdf> 


Best regards,
Ali Onaissi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151215/a5396a2d/attachment.html