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
Mildly related, I've kept that picture around for some presentation about writing one's own Coq kernel. keep-em-flying.jpg
my favorite: https://ilyasergey.net/pnp/coq-logo.png ("Le Coq Mécanisé")
Last updated: Aug 19 2022 at 20:03 UTC