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: ("Le Coq Mécanisé")

Last updated: Mar 02 2024 at 17:02 UTC