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 > >>
- 17/11/27
- 17/11/29
- [Coq-Club] 2nd CfP: FM 2018, Einar Broch Johnsen
- 17/12/01
- [Coq-Club] Best bet for computing with floats, Kevin Sullivan
- Re: [Coq-Club] Best bet for computing with floats, Gaëtan Gilbert
- Re: [Coq-Club] Best bet for computing with floats, Benjamin Pierce
- Re: [Coq-Club] Best bet for computing with floats, Kevin Sullivan
- [Coq-Club] Questions on notation, N. Raghavendra
- Re: [Coq-Club] Best bet for computing with floats, Bas Spitters
- Re: [Coq-Club] Missing a detail on type checking -- bad error reporting?, Théo Zimmermann
- [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Michel Levy
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Gaëtan Gilbert
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Michel Levy
- 17/12/02
- Re: [Coq-Club] Module Classical, Ltac classical_right incorrect ?, Christian Doczkal
- Re: [Coq-Club] Questions on notation, Hugo Herbelin
- 17/12/03
- Re: [Coq-Club] Questions on notation, N. Raghavendra
- 17/12/04
- [Coq-Club] Agda Implementors' Meeting XXVI - Budapest, 29 Jan -- 3 Feb 2018, Ambrus Kaposi
- Re: [Coq-Club] Best bet for computing with floats, Théo Zimmermann
- RE: [Coq-Club] Best bet for computing with floats, Soegtrop, Michael
- Re: [Coq-Club] Best bet for computing with floats, Kevin Sullivan
- [Coq-Club] IJCAR 2018 - Call for Papers, geoff
- [Coq-Club] WiL 2018: 2nd Women in Logic Workshop Call for Papers, Amy Felty
- 17/12/05
- 17/12/06
- [Coq-Club] PEPM 2018 Final Call for Poster/Demo Abstracts and Participation, PEPM Workshop
- [Coq-Club] Question about canonical structures, Jason Gross
- Re: [Coq-Club] Question about canonical structures, Jason Gross
- [Coq-Club] PhD positions at Nottingham, Thorsten Altenkirch
- [Coq-Club] How strong is this deferredFix axiom?, Joachim Breitner
Archive powered by MHonArc 2.6.18.