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
2018/01
121 mails
Chronological Thread << < page # 1/5 > >>
- 17/12/21
- [Coq-Club] Call for Papers: PACMPL issue ICFP 2018, Lindsey Kuper
- 17/12/22
- [Coq-Club] 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018), Rob van Glabbeek and Wendelin Serwe
- [Coq-Club] LOPSTR 2018: First Call for Papers, Fred Mesnard
- 18/01/01
- [Coq-Club] Tactic Notation wrapper for ssreflect rewrite, Robbert Krebbers
- Re: [Coq-Club] [TYPES/announce] Tenure-Track Research and Teaching Positions at University of British Columbia, Vancouver, Canada, Devrim Ünal
- Re: [Coq-Club] Is there an official documentation of formal semantics of Ocaml in Coq?, Bas Spitters
- [Coq-Club] How to access "typeclass arguments" in an extraction plugin?, John Wiegley
- [Coq-Club] Classification of simple Lie algebras, Bruno Le Floch
- 18/01/02
- Re: [Coq-Club] How to access "typeclass arguments" in an extraction plugin?, Jason Gross
- Re: [Coq-Club] Is there an official documentation of formal semantics of Ocaml in Coq?, Abhishek Anand
- [Coq-Club] A reduction for the nat recursor, Jasper Hugunin
- Re: [Coq-Club] A reduction for the nat recursor, roux cody
- 18/01/03
- Re: [Coq-Club] A reduction for the nat recursor, Jasper Hugunin
- Re: [Coq-Club] A reduction for the nat recursor, Frédéric Blanqui
- Re: [Coq-Club] A reduction for the nat recursor, Jasper Hugunin
- 18/01/04
- [Coq-Club] 6 Assistant Professor positions at the University of Utrecht, Wouter Swierstra
- [Coq-Club] Understanding the "functional induction" tactic, Siddharth Bhat
- Re: [Coq-Club] Understanding the "functional induction" tactic, Pierre Courtieu
- 18/01/05
- [Coq-Club] [NEWBIE] Applying Nat.eq_dec, Ramkumar Ramachandra
- [Coq-Club] Mutual Fixpoints into mutual inductive types, Merlin Göttlinger
- Re: [Coq-Club] Mutual Fixpoints into mutual inductive types, Pierre Courtieu
- Re: [Coq-Club] Mutual Fixpoints into mutual inductive types, Merlin Göttlinger
- [Coq-Club] How to FMapAVL.Make(N)?, Beta Ziliani
- Re: [Coq-Club] How to FMapAVL.Make(N)?, Frédéric Blanqui
- Re: [Coq-Club] How to FMapAVL.Make(N)?, Beta Ziliani
- Re: [Coq-Club] Mutual Fixpoints into mutual inductive types, Pierre Courtieu
- [Coq-Club] Alonzo Church Award - Call for Nominations, geoff
- Re: [Coq-Club] Mutual Fixpoints into mutual inductive types, Joachim Breitner
- Re: [Coq-Club] Mutual Fixpoints into mutual inductive types, Merlin Göttlinger
- Re: [Coq-Club] Mutual Fixpoints into mutual inductive types, Joachim Breitner
Archive powered by MHonArc 2.6.18.