Andrej Dudenhefner (Nov 18 2020 at 11:30): 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
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
Karl Palmskog (Nov 21 2020 at 22:25):my favorite: https://ilyasergey.net/pnp/coq-logo.png ("Le Coq Mécanisé")
Last updated: Jun 10 2023 at 06:31 UTC