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
2015/01
241 mails
Chronological Thread << < page # 7/9 > >>
- 15/01/26
- Re: [Coq-Club] gprogress tactical?, Arnaud Spiwack
- [Coq-Club] Proving that sections of primitive recursive functions are primitive recursive, Seul Baek
- [Coq-Club] TAP 2015 (Tests and Proofs): Second Call for Papers, Jasmin Blanchette
- [Coq-Club] Coq Standard Library XML output, Wouter Geraedts
- [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Soegtrop, Michael
- Re: [Coq-Club] gprogress tactical?, Jonathan Leivent
- Re: [Coq-Club] Globally-nameless tactics: Getting rid of the verbose Ltac [match goal with] construct, Jonathan Leivent
- Re: [Coq-Club] Globally-nameless tactics: Getting rid of the verbose Ltac [match goal with] construct, Jonathan Leivent
- Re: [Coq-Club] gprogress tactical?, Arnaud Spiwack
- Re: [Coq-Club] gprogress tactical?, Jason Gross
- Re: [Coq-Club] gprogress tactical?, Jonathan Leivent
- Re: [Coq-Club] ynot, Jason Gross
- Re: [Coq-Club] gprogress tactical?, Jonathan Leivent
- Re: [Coq-Club] gprogress tactical?, Jonathan Leivent
- Re: [Coq-Club] gprogress tactical?, Jason Gross
- Re: [Coq-Club] gprogress tactical?, Jonathan Leivent
- 15/01/27
- Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Ilmārs Cīrulis
- Re: [Coq-Club] (user experience report) "Proof assistants as routine tools", Neil Strickland, Abhishek Anand
- Re: [Coq-Club] ynot, Gregory Malecha
- Re: [Coq-Club] ynot, Giulio Pellitta
- [Coq-Club] Ackermann Award 2015, European Association of Computer Science Logic
- Re: [Coq-Club] Globally-nameless tactics: Getting rid of the verbose Ltac [match goal with] construct, Jonathan Leivent
- [Coq-Club] Post-Doctoral position for the security of binary code, Frédéric Besson
- 15/01/28
- Re: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Enrico Tassi
- RE: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Soegtrop, Michael
- RE: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Georges Gonthier
- RE: [Coq-Club] Grouping several canonical structures in one record - strange effect of Canonical Structure command, Soegtrop, Michael
- [Coq-Club] More about the postdoc@Princeton position, Andrew W. Appel
- 15/01/29
- [Coq-Club] Gentzen proof and Kantor ordering, Vladimir Voevodsky
- Re: [Coq-Club] Gentzen proof and Kantor ordering, roux cody
Archive powered by MHonArc 2.6.18.