Hei,

I' planning to give a presentation about Coq, aimed at students in computer science (including students entering university). I'd like to give an overview of how proof assistants - and more specifically Coq :D - are used in research in computer science.

Do you have any suggestion? I welcome links to documents from which I can get inspiration.

many applications in math and CS using Coq are listed here:

- https://github.com/coq-community/awesome-coq#type-theory-and-mathematics
- https://github.com/coq-community/awesome-coq#verified-software

from our recent survey of Coq users, here are breakdowns of research topics and Coq applications areas for respondents: https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730#research-topics-13

Last updated: Nov 29 2023 at 20:01 UTC