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
2017/12
91 mails
Chronological Thread << < page # 1/4 > >>
- [Coq-Club] Multiple Ph.D. positions in the Software Factory 4.0 project at TU Darmstadt, Richard Bubel, 11/27/2017
- [Coq-Club] 2nd CfP: FM 2018, Einar Broch Johnsen, 11/29/2017
- [Coq-Club] Best bet for computing with floats, Kevin Sullivan, 12/01/2017
- Re: [Coq-Club] Best bet for computing with floats, Gaëtan Gilbert, 12/01/2017
- Re: [Coq-Club] Best bet for computing with floats, Benjamin Pierce, 12/01/2017
- Re: [Coq-Club] Best bet for computing with floats, Kevin Sullivan, 12/01/2017
- Re: [Coq-Club] Best bet for computing with floats, Bas Spitters, 12/01/2017
- Re: [Coq-Club] Best bet for computing with floats, Théo Zimmermann, 12/04/2017
- RE: [Coq-Club] Best bet for computing with floats, Soegtrop, Michael, 12/04/2017
- Re: [Coq-Club] Best bet for computing with floats, Kevin Sullivan, 12/04/2017
- Re: [Coq-Club] Best bet for computing with floats, Gaëtan Gilbert, 12/01/2017
- [Coq-Club] Questions on notation, N. Raghavendra, 12/01/2017
- Re: [Coq-Club] Questions on notation, Hugo Herbelin, 12/02/2017
- Re: [Coq-Club] Questions on notation, N. Raghavendra, 12/03/2017
- Re: [Coq-Club] Questions on notation, Hugo Herbelin, 12/02/2017
- Re: [Coq-Club] Missing a detail on type checking -- bad error reporting?, Théo Zimmermann, 12/01/2017
- [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Michel Levy, 12/01/2017
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Gaëtan Gilbert, 12/01/2017
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Michel Levy, 12/01/2017
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Christian Doczkal, 12/02/2017
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Michel Levy, 12/01/2017
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Gaëtan Gilbert, 12/01/2017
- [Coq-Club] Agda Implementors' Meeting XXVI - Budapest, 29 Jan -- 3 Feb 2018, Ambrus Kaposi, 12/04/2017
- [Coq-Club] IJCAR 2018 - Call for Papers, geoff, 12/04/2017
- [Coq-Club] WiL 2018: 2nd Women in Logic Workshop Call for Papers, Amy Felty, 12/04/2017
- [Coq-Club] CPP 2018 Call for participation: early registration deadline December 10, Amy Felty, 12/05/2017
- [Coq-Club] Interactive Theorem Proving (ITP) 2018: Second CFP, Jeremy Avigad, 12/05/2017
- [Coq-Club] Call for bids to host ITP 2019, Jeremy Avigad, 12/05/2017
- [Coq-Club] Traversing Coq environment for declarations, Kenneth Roe, 12/05/2017
- [Coq-Club] PEPM 2018 Final Call for Poster/Demo Abstracts and Participation, PEPM Workshop, 12/06/2017
- [Coq-Club] Question about canonical structures, Jason Gross, 12/06/2017
- Re: [Coq-Club] Question about canonical structures, Jason Gross, 12/06/2017
- [Coq-Club] PhD positions at Nottingham, Thorsten Altenkirch, 12/06/2017
- [Coq-Club] How strong is this deferredFix axiom?, Joachim Breitner, 12/06/2017
Archive powered by MHonArc 2.6.18.