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
2020/04
121 mails
Chronological Thread << < page # 1/5 > >>
- 20/04/01
- [Coq-Club] Assistant Professor Position in Computer Science with focus on Cybersecurity, Jacopo Mauro
- [Coq-Club] LOPSTR 2020: Fist Call for Papers, Giselle Reis
- [Coq-Club] Teaching PhD Position in Quantitative Systems and Reasoning Methods, Henning Basold
- [Coq-Club] CFP - ICFEM 2020 - Int'l Conf on Formal Engineering Methods, Jeremy Dawson
- [Coq-Club] Library Coq.ZArith.Zlogarithm, Vadim Zaliva
- [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, Agnishom Chattopadhyay
- 20/04/02
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, Samuel Gruetter
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, Pierre Courtieu
- [Coq-Club] Problem with large existential, Tj Barclay
- Re: [Coq-Club] Library Coq.ZArith.Zlogarithm, Vincent Laporte
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, jonikelee AT gmail.com
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, jonikelee AT gmail.com
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, jonikelee AT gmail.com
- [Coq-Club] Problem with large existential, Tj Barclay
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, Pierre Courtieu
- 20/04/03
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, jonikelee AT gmail.com
- 20/04/06
- [Coq-Club] Two PhD positions in Utrecht, Wouter Swierstra
- [Coq-Club] [CfP] ICLP2020 -The 36th International Conference on Logic Programming, Laura Pandolfo
- [Coq-Club] The Coq Workshop 2020: Second Call for Talk Proposals + COVID-19 update, Théo Zimmermann
- 20/04/07
- [Coq-Club] Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020, Benedikt Ahrens
- [Coq-Club] CFP SEFM - International Conference on Software Engineering and Formal Methods, Jacopo Mauro
- [Coq-Club] Embedding tactics inside terms?, Agnishom Chattopadhyay
- Re: [Coq-Club] Embedding tactics inside terms?, Alix Trieu
- Re: [Coq-Club] Embedding tactics inside terms?, Agnishom Chattopadhyay
- 20/04/08
- [Coq-Club] VTLTC 2020 - Call for Online Participation, r.e.monti AT utwente.nl
- [Coq-Club] [ANNOUNCE] jsCoq 0.11, Emilio Jesús Gallego Arias
- 20/04/09
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, Paolo Giarrusso
- 20/04/10
- [Coq-Club] Commands/Tools for Debugging Universe Inconsistency?, Yao Li
- Re: [Coq-Club] Commands/Tools for Debugging Universe Inconsistency?, Christian Doczkal
- Re: [Coq-Club] Fwd: Hiding "Obvious" Hypothesis?, Agnishom Chattopadhyay
Archive powered by MHonArc 2.6.18.