Stream: Miscellaneous

Topic: Presentation of Coq

grianneau (Aug 16 2023 at 13:56):

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.

Karl Palmskog (Aug 16 2023 at 13:59):

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

Karl Palmskog (Aug 16 2023 at 14:04):

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: Oct 13 2024 at 01:02 UTC