coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2021/04
186 mails
Chronological Thread << < page 5 / 7 > >>
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Freek Wiedijk, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Filipe Vieira, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Benoît Viguier, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Zoe Paraskevopoulou, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Ian Shillito, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Stephanie Weirich, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Hadas Zeilberger, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jakob von Raumer, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Marie, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Vincent Archambault-Bouffard, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Yao Li, 04/06/2021
- Re: [Coq-Club] [Ext] Re: Why is the Coq logo made to look like a penis?, Stefan Muller, 04/06/2021
- Re: [Coq-Club] [Ext] Re: Why is the Coq logo made to look like a penis?, Stefan Muller, 04/06/2021
- Re: [Coq-Club] [Ext] Re: Why is the Coq logo made to look like a penis?, Michael Shulman, 04/07/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021
- [Coq-Club] 3 Post-doc positions on semantics of PLs, Claudio Sacerdoti Coen, 04/06/2021
- [Coq-Club] Annoucning a postdoc in Cambridge ideally suited for Coq enthusiasts, Timothy Griffin, 04/07/2021
- [Coq-Club] Renaming Coq, Théo Zimmermann, 04/08/2021
- [Coq-Club] Vernacular command to show version of running Coq, or similar info?, Peter LeFanu Lumsdaine, 04/08/2021
- Re: [Coq-Club] Vernacular command to show version of running Coq, or similar info?, Anton Trunov, 04/09/2021
- Re: [Coq-Club] Vernacular command to show version of running Coq, or similar info?, Gaëtan Gilbert, 04/09/2021
- [Coq-Club] FMBC 2021 - 2nd Call for Papers, Bruno Bernardo, 04/10/2021
- [Coq-Club] [CFP] Extension de la date limite de soumission de AFADL 2021, David Delahaye, 04/10/2021
- [Coq-Club] [CFP] Logical Frameworks and Meta-Languages: Theory and Practice, Enrico Tassi, 04/11/2021
- <Possible follow-up(s)>
- [Coq-Club] [CFP] Logical Frameworks and Meta-Languages: Theory and Practice, Enrico Tassi, 04/16/2021
Archive powered by MHonArc 2.6.19+.