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
2020/02
151 mails
Chronological Thread << < page # 5/6 > >>
- 20/02/21
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Jason Gross
- [Coq-Club] Computability in Europe 2020 FIRST CALL FOR INFORMAL PRESENTATIONS, acie
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Valentin Robert
- [Coq-Club] Call for Papers :International Conference on Machine learning and Cloud Computing (MLCL 2020), jesus jesus
- [Coq-Club] UNIF 2020 - Call for Papers, geoff
- [Coq-Club] EJCP 2020 - Appel à participation, Jean-Christophe Filliatre
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Daniel Schepler
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Valentin Robert
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Talia Ringer
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Talia Ringer
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Dominique Larchey-Wendling
- 20/02/22
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Emilio Jesús Gallego Arias
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Jason Gross
- [Coq-Club] EVENT DATE CHANGE Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020, Benedikt Ahrens
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Hugo Herbelin
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Arthur Azevedo de Amorim
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Jason Gross
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Hugo Herbelin
- 20/02/23
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Talia Ringer
- [Coq-Club] [Part 1/2] Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening?, Ken Kubota
- [Coq-Club] [Part 2/2] Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening?, Ken Kubota
- Re: [Coq-Club] Coq vs lean for classical analysis, Bas Spitters
- 20/02/25
- [Coq-Club] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning, Claudio Sacerdoti Coen
- [Coq-Club] Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020), Laura Pandolfo
- [Coq-Club] IWIL-14 at LPAR-23 - Call for Papers, geoff
- [Coq-Club] Simplifying a function (exactly) once?, Agnishom Chattopadhyay
- Re: [Coq-Club] Simplifying a function (exactly) once?, Jason -Zhong Sheng- Hu
- 20/02/26
- Re: [Coq-Club] Simplifying a function (exactly) once?, Jason Gross
- Re: [Coq-Club] Simplifying a function (exactly) once?, Agnishom Chattopadhyay
- [Coq-Club] `Hint Opaque` for `refine`, Robbert Krebbers
Archive powered by MHonArc 2.6.18.