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
2015/02
241 mails
Chronological Thread << < page # 4/9 > >>
- 15/02/08
- Re: [Coq-Club] How to obtain the statement "n = S n'" within a match?, Jean-Francois Monin
- Re: [Coq-Club] Announcement: Tool for enabling better Coq 8.5 parallization on existing Coq developments, Jonathan Leivent
- Re: [Coq-Club] Announcement: Tool for enabling better Coq 8.5 parallization on existing Coq developments, Enrico Tassi
- Re: [Coq-Club] intros up to ident?, Anthony Bordg
- Re: [Coq-Club] How to obtain the statement "n = S n'" within a match?, Kristopher Micinski
- [Coq-Club] Induction on FSetWeaklist, Craig McL
- 15/02/09
- Re: [Coq-Club] Announcement: Finite set library with comprehension, Arnaud Spiwack
- [Coq-Club] First Call for Papers, PxTP 2015, Cezary Kaliszyk
- Re: [Coq-Club] Announcement: Finite set library with comprehension, Cyril Cohen
- [Coq-Club] What does Galina "match <term> in <pattern>" mean?, Soegtrop, Michael
- Re: [Coq-Club] What does Galina "match <term> in <pattern>" mean?, Adam Chlipala
- RE: [Coq-Club] What does Galina "match <term> in <pattern>" mean?, Soegtrop, Michael
- [Coq-Club] CICM 2015 Doctoral Programme [Call for Applications], Muhammad Umair Siddique
- 15/02/10
- [Coq-Club] Tatic similar to discriminate, Saulo Araujo
- Re: [Coq-Club] Tatic similar to discriminate, Frédéric Besson
- Re: [Coq-Club] Tatic similar to discriminate, Pierre Casteran
- Re: [Coq-Club] Tatic similar to discriminate, Saulo Araujo
- Re: [Coq-Club] Tatic similar to discriminate, Jean-Francois Monin
- Re: [Coq-Club] Tatic similar to discriminate, Cedric Auger
- [Coq-Club] congruence with interpreted symbols, Kazuhiko Sakaguchi
- Re: [Coq-Club] Tatic similar to discriminate, Saulo Araujo
- Re: [Coq-Club] Tatic similar to discriminate, Pierre Casteran
- [Coq-Club] How to prove that all vectors of 0 length are equal to Vector.nil, Soegtrop, Michael
- Re: [Coq-Club] How to prove that all vectors of 0 length are equal to Vector.nil, Pierre Boutillier
- Re: [Coq-Club] How to prove that all vectors of 0 length are equal to Vector.nil, Tom Hirschowitz
- [Coq-Club] an awkward question about "case" tactic, Matej Kosik
- Re: [Coq-Club] an awkward question about "case" tactic, Jonathan Leivent
- Re: [Coq-Club] How to prove that all vectors of 0 length are equal to Vector.nil, Adam Chlipala
- Re: [Coq-Club] an awkward question about "case" tactic, Frederic Chyzak
- Re: [Coq-Club] an awkward question about "case" tactic, Jean-Francois Monin
Archive powered by MHonArc 2.6.18.