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
2019/09
86 mails
Chronological Thread << < page # 2/3 > >>
- 19/09/12
- 19/09/13
- [Coq-Club] Third CFP - RAMiCS 2020, Michael Winter
- [Coq-Club] notation to put an open term in a specific closing context, Abhishek Anand
- 19/09/14
- [Coq-Club] Updated plugin tutorials in Coq repository, Talia Ringer
- 19/09/16
- [Coq-Club] Class_apply and instances level, Cao Qinxiang
- [Coq-Club] MPC 2019 - final call for participation, Graham Hutton
- Re: [Coq-Club] Class_apply and instances level, Dan Frumin
- [Coq-Club] Locate printing-only notations, Abhishek Anand
- 19/09/17
- Re: [Coq-Club] Class_apply and instances level, Cao Qinxiang
- 19/09/18
- [Coq-Club] Practical Aspects of Declarative Languages PADL2020: 2nd CFP, Ekaterina Komendantskaya
- 19/09/19
- Re: [Coq-Club] Sequent calculus for full First Order Logic in Coq, Dominik Kirst
- [Coq-Club] Fwd: Post-Procedings ThEdu'19/EPTCS cfp, Joao Marcos
- 19/09/21
- [Coq-Club] Debugging an apparently diverging Coq program, William J. Bowman
- Re: [Coq-Club] Debugging an apparently diverging Coq program, Abhishek Anand
- Re: [Coq-Club] Debugging an apparently diverging Coq program, Nathaniel Yazdani
- Re: [Coq-Club] Debugging an apparently diverging Coq program, William J. Bowman
- Re: [Coq-Club] Debugging an apparently diverging Coq program, Jason -Zhong Sheng- Hu
- Re: [Coq-Club] Debugging an apparently diverging Coq program, William J. Bowman
- Re: [Coq-Club] Debugging an apparently diverging Coq program, Xuanrui Qi
- Re: [Coq-Club] Debugging an apparently diverging Coq program, Théo Winterhalter
- Re: [Coq-Club] Debugging an apparently diverging Coq program, Gaëtan Gilbert
- 19/09/22
- [Coq-Club] Question about Custom Entries, Konstantinos Kallas
- [Coq-Club] postdoctoral opening at the University of Minnesota, Gopalan Nadathur
- 19/09/23
- [Coq-Club] sigT and Prop, Jeremy Dawson
- [Coq-Club] Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich, Christoph Sprenger
- [Coq-Club] Two post-doctoral positions at ENS de Lyon, France, Damien Pous
- Re: [Coq-Club] sigT and Prop, Dominique Larchey-Wendling
- Re: [Coq-Club] sigT and Prop, Gaëtan Gilbert
Archive powered by MHonArc 2.6.18.