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
2011/11
481 mails
Pages navigation :
chronological Thread << < page # 7/17 > >>
- 11/11/07
- Re: [Coq-Club] How to define combination in coq, Adam Chlipala
- Re: [Coq-Club] The tactic induction fails :-(, David Leduc
- [Coq-Club] Associativity for free!, David Leduc
- Re: [Coq-Club] Defining a fixpoint using "Inductive" by means of Mendler-style fixpoint, Vladimir Komendantsky
- Re: [Coq-Club] Associativity for free!, Adam Chlipala
- Re: [Coq-Club] The tactic induction fails :-(, Thorsten Altenkirch
- Re: [Coq-Club] The tactic induction fails :-(, Bruno Barras
- Re: [Coq-Club] Associativity for free!, Arnaud Spiwack
- [Coq-Club] 1yr researcher on the formath project, Bas Spitters
- [Coq-Club] What is the meaning of dependent record conditions?, Victor Porton
- Re: [Coq-Club] What is the meaning of dependent record conditions?, Alexandre Pilkiewicz
- Re: [Coq-Club] Associativity for free!, Daniel Schepler
- 11/11/08
- Re: [Coq-Club] What is the meaning of dependent record conditions?, Victor Porton
- Re: [Coq-Club] What is the meaning of dependent record conditions?, Alexandre Pilkiewicz
- Re: [Coq-Club] What is the meaning of dependent record conditions?, Alexandre Pilkiewicz
- Re: [Coq-Club] What is the meaning of dependent record conditions?, Alexandre Pilkiewicz
- Re: [Coq-Club] What is the meaning of dependent record conditions?, Daniel Schepler
- [Coq-Club] Re: What is the meaning of dependent record conditions?, Stefan Monnier
- [Coq-Club] Coq newbie-Defining a partial map, darvishdarab
- Re: [Coq-Club] Coq newbie-Defining a partial map, Damien Pous
- Re: [Coq-Club] What is the meaning of dependent record conditions?, Carlos Simpson
- [Coq-Club] Declarative Mode and Bug 2371, Alan Pogrebinschi
- [Coq-Club], Daniel R. Grayson
- Re: [Coq-Club], Adam Chlipala
- Re: [Coq-Club] I'm against setoids and pro ZF, roconnor
- Re: [Coq-Club] SF, Fibonacci, and "Error: This clause is redundant.", Jelle Herold
- [Coq-Club] newbie: dependent types, Ramana Kumar
- Re: [Coq-Club] newbie: dependent types, gallais @ ensl.org
- Re: [Coq-Club] newbie: dependent types, Benedikt Ahrens
- Re: [Coq-Club], Daniel R. Grayson
Archive powered by MhonArc 2.6.16.