Stream: Miscellaneous

Topic: Coq illustrations


view this post on Zulip Andrej Dudenhefner (Nov 18 2020 at 11:30):

Do you have insightful/funny illustrations related to Coq which could be used to lighten up presentations (possibly illustrating a point)?
Here is my favorite: Coq-world-view.jpg

view this post on Zulip Pierre-Marie Pédrot (Nov 18 2020 at 12:49):

Mildly related, I've kept that picture around for some presentation about writing one's own Coq kernel. keep-em-flying.jpg

view this post on Zulip Karl Palmskog (Nov 21 2020 at 22:25):

my favorite: https://ilyasergey.net/pnp/coq-logo.png ("Le Coq Mécanisé")


Last updated: Mar 29 2024 at 15:02 UTC