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
2013/10
241 mails
Chronological Thread << < page # 7/9 > >>
- 13/10/23
- Re: [Coq-Club] FixePoint, mukesh tiwari
- Re: [Coq-Club] one rule of dependent matching (again), Adam Chlipala
- [Coq-Club] Proof from Software foundations., mukesh tiwari
- Re: [Coq-Club] Proof from Software foundations., Kristopher Micinski
- Re: [Coq-Club] Proof from Software foundations., J. Ian Johnson
- [Coq-Club] "with Definition"s in module types, Eddy Westbrook
- [Coq-Club] simpl x compute, Marcus Ramos
- Re: [Coq-Club] simpl x compute, Catalin Hritcu
- Re: [Coq-Club] simpl x compute, Catalin Hritcu
- Re: [Coq-Club] one rule of dependent matching (again), t x
- Re: [Coq-Club] simpl x compute, Pierre Boutillier
- 13/10/24
- [Coq-Club] Universe Inconsistencies, Jesper Bengtson
- [Coq-Club] Strange behaviour of induction with eqn: option, michael.soegtrop
- Re: [Coq-Club] Strange behaviour of induction with eqn: option, Rui Baptista
- RE: [Coq-Club] Strange behaviour of induction with eqn: option, Georges Gonthier
- RE: [Coq-Club] Strange behaviour of induction with eqn: option, Soegtrop, Michael
- Re: [Coq-Club] Strange behaviour of induction with eqn: option, Cedric Auger
- Re: [Coq-Club] Universe Inconsistencies, Matthieu Sozeau
- [Coq-Club] Induction over ascii, Marcus Ramos
- Re: [Coq-Club] simpl x compute, Marcus Ramos
- Re: [Coq-Club] Induction over ascii, t x
- Re: [Coq-Club] Induction over ascii, Marcus Ramos
- Re: [Coq-Club] Induction over ascii, txrev319
- Re: [Coq-Club] Induction over ascii, Marcus Ramos
- Re: [Coq-Club] Induction over ascii, Chris Dams
- Re: [Coq-Club] Induction over ascii, AUGER Cédric
- Re: [Coq-Club] Induction over ascii, Marcus Ramos
- Re: [Coq-Club] Induction over ascii, AUGER Cédric
- Re: [Coq-Club] Induction over ascii, Marcus Ramos
- Re: [Coq-Club] Induction over ascii, AUGER Cédric
Archive powered by MHonArc 2.6.18.