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/08
91 mails
Chronological Thread << < page # 2/4 > >>
- 19/08/09
- Re: [Coq-Club] Rewriting in sort Type, Vincent Semeria
- Re: [Coq-Club] Rewriting in sort Type, Christian Doczkal
- Re: [Coq-Club] Rewriting in sort Type, Vincent Semeria
- 19/08/11
- [Coq-Club] Question about rewrite: feature or bug?, Cao Qinxiang
- 19/08/12
- [Coq-Club] shelf, Jeremy Dawson
- [Coq-Club] PADL 2020 (co-allocated with POPL 2020): first call for papers, Ekaterina Komendantskaya
- Re: [Coq-Club] shelf, Pierre Courtieu
- 19/08/13
- Re: [Coq-Club] Strict positivity description in CIC spec, William J. Bowman
- Re: [Coq-Club] Strict positivity description in CIC spec, Valentin Robert
- 19/08/15
- [Coq-Club] UNSW Sydney Seeking PhD Students, Christine Rizkallah
- [Coq-Club] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland, Peter Achten
- Re: [Coq-Club] Question about rewrite: feature or bug?, David Holland
- Re: [Coq-Club] how to combine tactics, David Holland
- 19/08/16
- 19/08/19
- Re: [Coq-Club] Question about rewrite: feature or bug?, Gregory Malecha
- [Coq-Club] MPC 2019 - Call for Participation, Graham Hutton
- [Coq-Club] FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21), Andrei Popescu
- [Coq-Club] FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21), geoff
- 19/08/20
- [Coq-Club] CoqPL 2020: Call for Presentations, Robbert Krebbers
- [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Soegtrop, Michael
- Re: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Laurent Thery
- Re: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Laurent Thery
- RE: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Soegtrop, Michael
- Re: [Coq-Club] how to combine tactics, Pierre Courtieu
- [Coq-Club] Using lists in Tactic Notations, Jay Kruer
- [Coq-Club] Interleaving lia/omega/other, Robert Rand
- 19/08/21
- [Coq-Club] Research Fellow in Verified Operating System Security, Toby Murray
- Re: [Coq-Club] Using lists in Tactic Notations, Pierre Courtieu
- Re: [Coq-Club] Interleaving lia/omega/other, Laurent Thery
- RE: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Soegtrop, Michael
Archive powered by MHonArc 2.6.18.