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
2010/03
211 mails
Pages navigation :
chronological Thread << < page # 3/8 > >>
- 10/03/09
- Re: [Coq-Club] Inconsistency of classical logic in Coq, Benjamin Werner
- 10/03/10
- [Coq-Club] UIP vs dependent elimination, Michael Shulman
- Re: [Coq-Club] UIP vs dependent elimination, Adam Chlipala
- [Coq-Club] Automatheo 2010 at FLoC: Call for Papers, Talks, and System Demonstrations, Lucas Dixon
- Re: [Coq-Club] Inconsistency of classical logic in Coq, AUGER
- [Coq-Club] Call for Participation -- SICSA Summer School on Formal Reasoning & Representation of Complex Systems, Lucas Dixon
- 10/03/11
- [Coq-Club] Installation error, Evgeny Makarov
- [Coq-Club] Inconsistency of classical logic in Coq, Robbert Krebbers
- [Coq-Club] PLMMS 2010: Last Call for Papers, Lucas Dixon
- [Coq-Club] Setoids and symmetry, Robert Helgesson
- Re: [Coq-Club] Setoids and symmetry, roconnor
- 10/03/12
- Re: [Coq-Club] Setoids and symmetry, Robert Helgesson
- [Coq-Club] Set and heterogeneous lists, Christian Doczkal
- Re: [Coq-Club] Set and heterogeneous lists, Adam Chlipala
- Re: [Coq-Club] Setoids and symmetry, roconnor
- Re: [Coq-Club] Setoids and symmetry, Robert Helgesson
- 10/03/14
- [Coq-Club] [Reserved Notation] and [Record], megacz
- Re: [Coq-Club] [Reserved Notation] and [Record], Ian Lynagh
- Re: [Coq-Club] [Reserved Notation] and [Record], AUGER Cédric
- Re: [Coq-Club] [Reserved Notation] and [Record], AUGER Cédric
- [Coq-Club] Subgoals for evars?, Robin Green
- [Coq-Club] Re: Subgoals for evars?, Arnaud Spiwack
- [Coq-Club] Re: [Reserved Notation] and [Record], Adam Megacz
- [Coq-Club] Re: [Reserved Notation] and [Record], megacz
- 10/03/15
- [Coq-Club] Are these considered bugs, or...?, Robin Green
- [Coq-Club] Notations and implicit arguments, Paolo Herms
- [Coq-Club] Translation of empty types, Eric Jaeger
- [Coq-Club] Warning: Ignoring recursive call, Christian Doczkal
- Re: [Coq-Club] Warning: Ignoring recursive call, Adam Chlipala
- [Coq-Club] specializing without repeating large expressions, Ian Lynagh
Archive powered by MhonArc 2.6.16.