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:
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