Stream: Miscellaneous

Topic: Presentation of Coq


view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Aug 16 2023 at 13:59):

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

view this post on Zulip 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: May 19 2024 at 16:02 UTC